Encoding a Dependent-Type -Calculus in a Logic Programming Language. Rapport de recherche 1259, Inria (1990)

by A Felty, D A Miller
Venue:In E