Parallel and serial hypercoherences

DOI10.1016/S0304-3975(00)00173-0zbMATH Open0949.68097OpenAlexW2029659108MaRDI QIDQ1583243FDOQ1583243

Authors: 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

Recommendations

• Sequential algorithms and strongly stable functions
• Towards a theory of parallel algorithms on concrete data structures
• Projecting sequential algorithms on strongly stable functions
• Automata, Languages and Programming
• Foundations of Software Science and Computation Structures

zbMATH Keywords

linear logicdenotational semanticssequentiality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Relative definability of boolean functions via hypergraphs
• Non-uniform (hyper/multi)coherence spaces
• Sequential algorithms and strongly stable functions
• Comparing hierarchies of types in models of linear logic
• Foundations of Software Science and Computation Structures
• Automata, Languages and Programming

This page was built for publication: Parallel and serial hypercoherences

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