Logic programming in the LF logical framework', Logical environments (1993)

by F Pfenning
Venue:Gerard Huet and Gordon Plotkin