scientific article
From MaRDI portal
Publication:3024827
zbMath1063.68552MaRDI QIDQ3024827
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) ⋮ More Church-Rosser proofs (in Isabelle/HOL) ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction ⋮ Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
This page was built for publication:
