Weak topologies for Linear Logic

DOI10.2168/LMCS-12(1:3)2016zbMath1448.03014arXiv1405.5393MaRDI QIDQ2794670

Marie Kerjean

Publication date: 11 March 2016

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

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

zbMATH Keywords

linear logicweak topologiesdifferential categories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Duality theory for topological vector spaces (46A20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Linear logic in normed cones: probabilistic coherence spaces and beyond

This page was built for publication: Weak topologies for Linear Logic