scientific article; zbMATH DE number 1424039

MaRDI QIDQ4945229zbMATH OpenFDO

Authors Vincent Balat, Roberto Di Cosmo

Publication date 5 September 2000

zbMATH Keywords

isomorphisms of typeslinear isomorphismsmultiplicative linear logicproof nets

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1086719
• Provable isomorphisms of types
• A short survey of isomorphisms of types
• Classical isomorphisms of types
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

Cited in

(13)

• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Automorphisms of types in certain type theories and representation of finite groups
• Classical isomorphisms of types
• Provable isomorphisms of types
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• scientific article; zbMATH DE number 1342281 (Why is no real title available?)
• scientific article; zbMATH DE number 1086719 (Why is no real title available?)
• scientific article; zbMATH DE number 6744295 (Why is no real title available?)
• Contextual isomorphisms
• Bounded Linear Types in a Resource Semiring
• Type isomorphisms for multiplicative-additive linear logic
• 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 Q4945229)