The minimal graph model of lambda calculus (2003)

by A Bucciarelli, A Salibra
Venue:28th International Symposium on Mathematical Foundations of Computer Science (MFCS’03), LNCS 2747