scientific article; zbMATH DE number 2086602

MaRDI QIDQ4737136zbMATH OpenFDO

Authors Matthias Hoelzl, John N. Crossley

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090207.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited in

(7)

• scientific article; zbMATH DE number 1140686 (Why is no real title available?)
• scientific article; zbMATH DE number 1757128 (Why is no real title available?)
• Constraint handling rules with binders, patterns and generic quantification
• scientific article; zbMATH DE number 873325 (Why is no real title available?)
• Fair constraint merging tableaux in lazy functional programming style
• Disjunctive Constraint Lambda Calculi
• The disjunctive constrained lambda calculus

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