Non-Uniform Hypercoherences

DOI10.1016/S1571-0661(04)80559-0zbMath1270.03126MaRDI QIDQ2842815

Pierre Boudes

Publication date: 16 August 2013

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

Mathematics Subject Classification ID

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

Related Items (2)

Visible acyclic differential nets. I: Semantics ⋮ Thick Subtrees, Games and Experiments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Sequential algorithms on concrete data structures
• Sequentiality in an extensional framework
• Fully abstract semantics for observably sequential languages
• On denotational completeness
• The sequentially realizable functionals
• A relative PCF-definability result for strongly stable functions and some corollaries
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Localisation and interaction in one dimension
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: Non-Uniform Hypercoherences