Coherent and finiteness spaces

DOI10.2168/LMCS-7(3:15)2011zbMath1237.03038arXiv0905.4059OpenAlexW3105056500MaRDI QIDQ3224681

Pierre Hyvernat

Publication date: 2 April 2012

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

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

zbMATH Keywords

linear logicRamsey theoremcoherent spacefiniteness space

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: Coherent and finiteness spaces