scientific article; zbMATH DE number 1479624

MaRDI QIDQ4490737zbMATH OpenFDO

Authors Andrea Asperti, Cosimo Laneve

Publication date 20 July 2000

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Interaction Systems I: The theory of optimal reductions
• scientific article; zbMATH DE number 7204428
• Interaction systems II: The practice of optimal reductions
• YALE: yet another lambda evaluator based on interaction nets
• Optimal reductions in interaction systems

Cited in

(6)

• The DL-Lite Family and Relations
• scientific article; zbMATH DE number 1231514 (Why is no real title available?)
• Interaction Systems I: The theory of optimal reductions
• Paths, computations and labels in the λ-calculus
• Higher-order families
• Paths, computations and labels in the \(\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 Q4490737)