Unification of Simply Typed Lamda-Terms as Logic Programming.

Dale Miller

Browse the full ICLP paper archive.