Coherence Spaces and Uniform Continuity

DOI10.1007/978-3-662-54458-7_1zbMath1486.03108arXiv1706.00562OpenAlexW2613997372MaRDI QIDQ2988356

Kei Matsumoto

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Linear realizability and full completeness for typed lambda-calculi
• Linear logic
• Stability and computability in coherent domains
• Theory of representations
• The system \({\mathcal F}\) of variable types, fifteen years later
• Total sets and objects in domain theory
• A domain-theoretic approach to computability on the real line
• Categorical logic and type theory
• PCF extended with real numbers
• Total objects in inductively defined types
• Glueing and orthogonality for models of linear logic
• Extended admissibility.
• A note on full intuitionistic linear logic
• Impredicativity entails untypedness
• A Relationship between Equilogical Spaces and Type Two Effectivity
• Geometry of Interaction and linear combinatory algebras
• Abstract Datatypes for Real Numbers in Type Theory
• Finiteness spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item