Non-uniform (hyper/multi)coherence spaces

DOI10.1017/S0960129510000320zbMath1207.68204OpenAlexW2106143913MaRDI QIDQ3081320

Pierre Boudes

Publication date: 7 March 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129510000320

zbMATH Keywords

cliquecoherence semanticshypercoherencevertex recovering

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Coherent differentiation ⋮ Formalization of real analysis: a survey of proof assistants and libraries ⋮ Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita ⋮ Unnamed Item ⋮ Unnamed Item

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

This page was built for publication: Non-uniform (hyper/multi)coherence spaces