scientific article; zbMATH DE number 771635
From MaRDI portal
Publication:4838155
zbMath0816.00018MaRDI QIDQ4838155
No author found.
Publication date: 6 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
A categorical semantics for polarized MALL, Glueing and orthogonality for models of linear logic, Handsome proof-nets: Perfect matchings and cographs, The relational model is injective for multiplicative exponential linear logic (without weakenings), Induction in linear logic, Asymptotic cyclic expansion and bridge groups of formal proofs, A structural approach to reversible computation
