Uni of simply typed lamda-terms as logic programming (1991)

by D Miller
Venue:Logic Programming, Proceedings of the Eighth International Conference, Paris