Publication:4843179
From MaRDI portal
zbMath0833.68070MaRDI QIDQ4843179
Publication date: 10 August 1995
semantics; \(\lambda\)-calculus; combinatory logic; \(\lambda\sigma\)-calculus; Abrahamsky's lazy calculus; Boudol's \(\gamma\)-calculus
68W30: Symbolic computation and algebraic computation
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q45: Formal languages and automata
68Q55: Semantics in the theory of computing
Related Items
Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations, Combinatory weak reduction in lambda calculus, Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem, ASMs and Operational Algorithmic Completeness of Lambda Calculus