Parallel and serial hypercoherences

DOI10.1016/S0304-3975(00)00173-0zbMath0949.68097OpenAlexW2029659108MaRDI QIDQ1583243

Thomas Ehrhard

Publication date: 26 October 2000

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00173-0

zbMATH Keywords

linear logicdenotational semanticssequentiality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Comparing hierarchies of types in models of linear logic ⋮ Unnamed Item ⋮ Non-uniform (hyper/multi)coherence spaces ⋮ Sequential algorithms and strongly stable functions ⋮ Relative definability of boolean functions via hypergraphs

Cites Work

• The system \({\mathcal F}\) of variable types, fifteen years later
• Fully abstract semantics for observably sequential languages
• The sequentially realizable functionals
• A relative PCF-definability result for strongly stable functions and some corollaries
• On full abstraction for PCF: I, II and III
• Projecting sequential algorithms on strongly stable functions
• Graph Classes: A Survey
• Localisation and interaction in one dimension
• On the symmetry of sequentiality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parallel and serial hypercoherences