scientific article; zbMATH DE number 783760
From MaRDI portal
Publication:4843179
zbMath0833.68070MaRDI QIDQ4843179
Publication date: 10 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semantics\(\lambda\)-calculuscombinatory logic\(\lambda\sigma\)-calculusAbrahamsky's lazy calculusBoudol's \(\gamma\)-calculus
Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)
Related Items (9)
Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations ⋮ Combinatory weak reduction in lambda calculus ⋮ Secure Guarded Commands ⋮ ASMs and Operational Algorithmic Completeness of Lambda Calculus ⋮ Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods ⋮ Automorphisms of types and their applications ⋮ Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem ⋮ Dynamic game semantics ⋮ Automorphisms of types in certain type theories and representation of finite groups
This page was built for publication: