scientific article; zbMATH DE number 1424039

MaRDI QIDQ4945229zbMATH OpenFDO

Authors Vincent Balat, Roberto Di Cosmo

Publication date 5 September 2000

zbMATH Keywords

proof netsmultiplicative linear logiclinear isomorphismsisomorphisms of types

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

(9)

• Automorphisms of types in certain type theories and representation of finite groups
• scientific article; zbMATH DE number 1342281 (Why is no real title available?)
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• scientific article; zbMATH DE number 6744295 (Why is no real title available?)
• Type isomorphisms for multiplicative-additive linear logic
• Classical isomorphisms of types
• Contextual isomorphisms
• Provable isomorphisms of types
• Bounded Linear Types in a Resource Semiring

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)