Unification of simply typed lambda-terms as logic programming (1991)

by Dale Miller
Venue:In Eighth International Logic Programming Conference
Citations:56 - 3 self

Document Versions

Unification of simply typed lambda-terms as logic programming –Dale Miller — 1991 — In Eighth International Logic Programming Conference