An approach to theorem proving on the basis of a typed lambda calculus (1980)

by R P Nederpelt
Venue:Lecture Notes in Computer Science