A coding theoretic study of MLL proof nets

DOI10.1017/S0960129511000582zbMath1268.03084OpenAlexW2138058154MaRDI QIDQ2888855

Satoshi Matsuoka

Publication date: 4 June 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129511000582

zbMATH Keywords

coding theorymultiplicative linear logiccorrection of proof structures

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Coding theorems (Shannon theory) (94A24)

Cites Work

• Linear logic
• Weak typed Böhm theorem on IMLL
• The structure of multiplicatives
• Unnamed Item

This page was built for publication: A coding theoretic study of MLL proof nets