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
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
