The type system of a higher-order logic programming language (1992)

by Gopalan Nadathur, Frank Pfenning
Venue:Types in Logic Programming