Constructing Fully Complete Models for Multiplicative Linear Logic

DOI10.1109/LICS.2012.67zbMath1364.03084arXiv1505.06056WikidataQ130863285 ScholiaQ130863285MaRDI QIDQ2986835

Hugh Paul Steele, Andrea Schalk

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.06056

zbMATH Keywords

linear logicfull completenesscompact closuredouble glueing

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Constructing Fully Complete Models for Multiplicative Linear Logic