A longstanding open problem in lambda-calculus, raised by G.Plotkin, is whether there exists a continuous model of the untyped lambda-calculus whose theory is exactly the beta-theory or the beta-eta-theory. A related question, raised recently by C.Berline, is whether, given a class of lambda-models, there is a minimal equational theory represented by it. In this paper, we give a positive answer to this latter question for the class of graph models à la Plotkin-Scott-Engeler. In particular, we build a graph model the equational theory of which is exactly the set of equations satisfied in any graph model. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Bucciarelli, A., & Salibra, A. (2003). The minimal graph model of lambda calculus. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2747, 300–307. https://doi.org/10.1007/978-3-540-45138-9_24
Mendeley helps you to discover research relevant for your work.