scientific article; zbMATH DE number 2086602

zbMATH1057.68014MaRDI QIDQ4737136FDOQ4737136

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

(6)

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

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)