Hypergraphs and degrees of parallelism: A completeness result (2004)

Cached

Download Links

by Antonio Bucciarelli , Benjamin Leperchey
Venue:PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE OF FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES – FOSSACS 2004
Citations:1 - 0 self

Documents Related by Co-Citation

5 Another approach to sequentiality: Kleene’s unimonotone functions – A Bucciarelli - 1993
2 Full abstraction for PCF, Information and Computation 163 (2) (2000) 409–470, an extended abstract can be found – S Abramsky, P Malacaria, R Jagadeesan - 1994
1 Stable models of typedλ-calculi, in – G Berry
1 LCF considerd as a programming language, Theoretical Computer Science 5 – G D Plotkin - 1977
1 LCF be topped? Flat lattice models of typedλ-calculus, Information and Computation 87 – B Bloom, Can - 1990
1 Séquentialité de l’evaluation formelle desλ-expressions, in – G Berry - 1978
28 Full abstraction for – S Abramsky, R Jagadeesan, P Malacaria - 2000
12 Sequential models of PCF: some contributions to the domain-theoretic approach to full abstraction – A Bucciarelli - 1993
7 The sequentially realizable functionals,” Annals of Pure and – J Longley - 1927
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
8 Degrees of Parallelism in the Continuous Type Hierarchy – Antonio Bucciarelli, Antonio Bucciarelli, Antonio Bucciarelli - 1995
6 A type-theoretical alternative to ISWIM, CUCH, OWHY. Theoretical Computer Science, 121:422–440 – Dana Scott - 1993
61 Full Abstraction for Functional Languages with Control – James Laird - 1997
84 Sequential algorithms on concrete data structures, Theor – G Berry, P-L Curien - 1982
8 Domains for denotational semantics. In Automata, languages and programming – Dana S Scott - 1982
11 Notions of computability at higher types I – John Longley - 2005
7 Semantical paradigms – A R Meyer, S S Cosmadakis - 1988
8 Expressibility of functions in D. Scott's LCF language. Algebra i Logika – Sazonov - 1976