An abstract notion of application (1993)

by P Di Gianantonio, F Honsell
Venue:Typed lambda calculi and applications, volume 664 of Lecture Notes in Computer Science