scientific article; zbMATH DE number 1300968
From MaRDI portal
Publication:4246726
zbMath0925.03089MaRDI QIDQ4246726
Publication date: 29 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Logic programming (68N17) Combinatory logic and lambda calculus (03B40)
Related Items (3)
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
This page was built for publication:
