Publication:3221960
From MaRDI portal
zbMath0558.03006MaRDI QIDQ3221960
Publication date: 1984
semantics; cartesian closed category; first order axiomatization; lambda models; reflexive object; equational axiomatization; lambda algebras
03C52: Properties of classes of models
03C65: Models of other mathematical theories
03B40: Combinatory logic and lambda calculus
Related Items
On combinatory algebras and their expansions, Type theories, normal forms, and \(D_{\infty}\)-lambda-models, The differential \(\lambda \mu\)-calculus, Compositional characterisations of \(\lambda\)-terms using intersection types