scientific article; zbMATH DE number 771635

MaRDI QIDQ4838155zbMATH OpenFDO

Authors

Publication date 6 July 1995

zbMATH Keywords

Ithaca, NY (USA)Linear logicWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(8)

• Glueing and orthogonality for models of linear logic
• Handsome proof-nets: Perfect matchings and cographs
• A structural approach to reversible computation
• The relational model is injective for multiplicative exponential linear logic (without weakenings)
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)
• Asymptotic cyclic expansion and bridge groups of formal proofs
• Induction in linear logic
• A categorical semantics for polarized MALL

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