scientific article; zbMATH DE number 1300968

zbMATH Open0925.03089MaRDI QIDQ4246726FDOQ4246726

Authors: Thérèse Hardin 

Publication date: 29 July 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Cited In (3)

• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• Comparing and implementing calculi of explicit substitutions with eta-reduction
• More Church-Rosser proofs (in Isabelle/HOL)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246726)