Parallel and Serial Hypercoherences (1995)

Cached

Download Links

by Thomas Ehrhard
Venue:Theoretical Computer Science, North-Holland
Citations:4 - 0 self

Active Bibliography

12 Sequential algorithms and strongly stable functions – Paul-André Melliès - 2003
6 Comparing Hierarchies of Types in Models of Linear Logic – Paul-Andre Mellies - 2003
4 Games and Sequential Algorithms – Jim Laird - 2001
Realizability Models for Sequential Computation – John Longley - 1998
36 The sequentially realizable functionals – John Longley
11 Notions of computability at higher types I – John Longley - 2005
32 A Semantic analysis of control – James David Laird - 1998
Playful, streamlike computation – Pierre-louis Curien - 2003
27 Asynchronous Games 2 -- The true concurrency of innocence – Paul-André Melliès
Extensional semantics of program behaviour – Guy McCusker - 2008
22 Projecting Sequential Algorithms on Strongly Stable Functions – Thomas Ehrhard - 1993
16 Games on graphs and sequentially realizable functionals – Martin Hyland - 2002
3 Bistable biorders: a sequential domain theory – J. Laird - 2005
1 Matching typed and untyped realizability (Extended abstract) – John Longley
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
The Combinatory Algebras U and ... are not Equivalent – Karl Gernot Belger
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
2 Linear Programming Languages – Luca Paolini, Mauro Piccolo