Publication:4297437
From MaRDI portal
zbMath0798.03012MaRDI QIDQ4297437
Publication date: 7 November 1994
ordering; semantics; stable functions; first-order formula; models of lambda calculus; reflexive dI-domain; reflexive Scott domain
68Q55: Semantics in the theory of computing
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03B40: Combinatory logic and lambda calculus
Related Items