Logic programming in the LF logical framework (1991)

by Frank Pfenning
Venue:In G~rard Huet and Gordon Plotkin, editors, Logical Frameworks