The Type System of a Higher-Order Logic Programming Language (1992)

by Gopalan Nadathur, Frank Pfenning
Venue:TYPES IN LOGIC PROGRAMMING