Logic programming in the LF logical framework (1991)

by F Pfenning
Venue:Logical Frameworks