Logic programming in the LF logical framework (1991)

by Frank Pfenning
Venue:In Logical Frameworks