DMCA

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

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