Thomas Ehrhard  Home/Search
Context Related
Links: ACM DBLP | iml.univmrs.fr/pub/ehrhard/sp.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iml.univmrs.fr/~ehrhard/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is known that the strongly stable functions which arise in the semantics of PCF can be realized by sequential algorithms, which can be considered as deterministic strategies in games associated to PCF types. Studying the connection between strongly stable functions and sequential algorithms, two dual classes of hypercoherences naturally arise: the parallel and serial hypercoherences. The objects belonging to the intersection of these two classes are in bijective correspondence with the... (Update)
Context of citations to this paper: More
...was established there. The definition of functional hypergraphs bears striking resemblance to Ehrhard s definition of parallel hypercoherence [8] and indeed we owe him the condition [H2 ] in section 3. 4 2 The upper semi lattice of degrees Given a monotone function f : B n...
Cited by: More
Comparing Hierarchies of Types in Models of Linear Logic - Mellies (2003) (Correct)
Relative Definability of Boolean Functions via Hypergraphs - Bucciarelli (Correct)
Active bibliography (related documents): More All
0.6: Sequential Algorithms and Strongly Stable Functions - Mellies (Correct)
0.3: Games on Graphs and Sequentially Realizable Functionals - Exte Nd Ed (Correct)
0.2: A Fully Abstract Game Semantics for Finite Nondeterminism - Harmer, McCusker (1999) (Correct)
Similar documents based on text: More All
0.9: Hypercoherences: A Strongly Stable Model of Linear Logic - Ehrhard (1993) (Correct)
0.8: Finiteness Spaces - Ehrhard (2001) (Correct)
0.7: Full Abstraction for PCF - Abramsky, Jagadeesan, Malacaria (1995) (Correct)
Related documents from co-citation: More All
2: On full abstraction for PCF (context) - Hyland, Ong - 1996
BibTeX entry: (Update)
T. Ehrhard. Parallel and Serial Hypercoherences. Manuscript 1995. http://citeseer.ist.psu.edu/ehrhard95parallel.html More
@article{ ehrhard00parallel,
author = "Thomas Ehrhard",
title = "Parallel and serial hypercoherences",
journal = "Theoretical Computer Science",
volume = "247",
number = "1--2",
pages = "39--81",
year = "2000",
url = "citeseer.ist.psu.edu/ehrhard95parallel.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard, variable et al. - 1986 ACM
48 Hereditarily sequential functionals - Nickau - 1994 ACM DBLP
30 Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993 DBLP
24 Fully abstract semantics for observably sequential languages (context) - Cartwright, Curien et al. - 1994
21 games and linear logic (context) - Lamarche - 1992
17 Linear logic: its syntax and semantics (context) - Girard - 1995
16 Projecting sequential algorithms on strongly stable function.. - Ehrhard - 1996 DBLP
14 To appear in Annals of Pure and Applied Logic (context) - Longley, realizable et al. - 1998
13 To appear in Information and Computation (context) - Hyland, Ong et al. - 1994
9 A combinatory algebra for sequential functionals of finite t.. - van Oosten - 1997
8 Theoretical Computer Science (context) - Ehrhard, serial - 2000 ACM
6 The Society for Industrial and Applied Mathematics (context) - Brandstadt, Le and et al. - 1999
6 communication and money games (context) - Joyal - 1995
6 A relative definability result for strongly stable functions.. (context) - Ehrhard - 1999
5 To appear in Information and Computation (context) - Abramsky, Jagadeesan et al. - 1994
Documents on the same site (http://iml.univ-mrs.fr/~ehrhard/pub.html): More
On Köthe sequence spaces and linear logic - Ehrhard (2001) (Correct)
Hypercoherences: A Strongly Stable Model of Linear Logic - Ehrhard (1993) (Correct)
Sequentiality in an Extensional Framework - Bucciarelli, Ehrhard (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC