Higher order logic programming (1992)

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