Multiplexor Categories and Models of Soft Linear Logic

DOI10.1007/978-3-540-72734-7_33zbMath1132.03352OpenAlexW1558705872MaRDI QIDQ5434527

Brian F. Redmond

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10393/29528

zbMATH Keywords

Game semanticsPolynomial timeCategorical semanticsSoft Linear Logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Infinitary action logic with multiplexing ⋮ Quantum coherent spaces and linear logic ⋮ Implicit computation complexity in higher-order programming languages

This page was built for publication: Multiplexor Categories and Models of Soft Linear Logic