Non-uniform (hyper/multi)coherence spaces
From MaRDI portal
Publication:3081320
DOI10.1017/S0960129510000320zbMath1207.68204MaRDI QIDQ3081320
Publication date: 7 March 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita, Formalization of real analysis: a survey of proof assistants and libraries
Cites Work
- Linear logic
- Sequential algorithms on concrete data structures
- Sequentiality in an extensional framework
- Fully abstract semantics for observably sequential languages
- Parallel and serial hypercoherences
- The sequentially realizable functionals
- Comparing hierarchies of types in models of linear logic
- Sequential algorithms and strongly stable functions
- Locus Solum: From the rules of logic to the logic of rules
- A completeness theorem for symmetric product phase spaces
- Finiteness spaces
- On phase semantics and denotational semantics: The exponentials