scientific article; zbMATH DE number 1424039

zbMATH Open0943.03048MaRDI QIDQ4945229FDOQ4945229

Authors: Vincent Balat, Roberto Di Cosmo 

Publication date: 5 September 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Automorphisms of types in certain type theories and representation of finite groups
• Title not available (Why is that?)
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Title not available (Why is that?)
• 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)