Non-uniform hypercoherences

DOI10.1016/S1571-0661(04)80559-0MaRDI QIDQ2842815zbMATH OpenFDO

Authors Pierre Boudes

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80559-0

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• Non-uniform (hyper/multi)coherence spaces
• scientific article; zbMATH DE number 1678365
• Localisation and interaction in one dimension
• Coherence spaces and uniform continuity
• Coherent interaction graphs

Cites work

• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 1405588 (Why is no real title available?)
• A relative PCF-definability result for strongly stable functions and some corollaries
• Fully abstract semantics for observably sequential languages
• Linear logic
• Localisation and interaction in one dimension
• On denotational completeness
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• On phase semantics and denotational semantics: The exponentials
• Sequential algorithms on concrete data structures
• Sequentiality in an extensional framework
• The sequentially realizable functionals

Cited in

(6)

• Visible acyclic differential nets. I: Semantics
• Thick Subtrees, Games and Experiments
• Coherence spaces and uniform continuity
• Non-uniform (hyper/multi)coherence spaces
• scientific article; zbMATH DE number 1678365 (Why is no real title available?)
• Localisation and interaction in one dimension

This page was built for publication: Non-uniform hypercoherences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842815)