scientific article; zbMATH DE number 1086719

MaRDI QIDQ4362968zbMATH OpenFDO

Authors

Publication date 13 November 1997

zbMATH Keywords

multiplicative linear lambda calculus

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Efficient algorithms for isomorphisms of simple types
• Efficient algorithms for isomorphisms of simple types
• scientific article; zbMATH DE number 1424039
• Randomised algorithms for isomorphisms of simple types
• Provable isomorphisms of types

Cited in

(9)

• Efficient and flexible matching of recursive types
• scientific article; zbMATH DE number 176213 (Why is no real title available?)
• Axioms and decidability for type isomorphism in the presence of sums
• scientific article; zbMATH DE number 1424039 (Why is no real title available?)
• Randomised algorithms for isomorphisms of simple types
• Efficient algorithms for isomorphisms of simple types
• Efficient algorithms for isomorphisms of simple types
• Type isomorphisms for multiplicative-additive linear logic
• A Curry-Howard correspondence for linear, reversible computation

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