Antonio Bucciarelli, Antonino Salibra. The Minimal Graph Model of Lambda Calculus. In Branislav Rovan, Peter Vojtás, editors, Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings. Volume 2747 of Lecture Notes in Computer Science, pages 300-307, Springer, 2003. [doi]
Abstract is missing.