Dependent types in logic programming (1992)

by F Pfenning
Venue:Types in Logic Programming