G. Berry, Mod`eles compl`etement ad'equats et stables des -calculs typ'es. PhD thesis, Univ. of Paris7, Mar. 1979. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Axiomatic Domain Theory - Fiore (1995) (Correct)
Bistructures, Bidomains and Linear Logic - Plotkin, Winskel (1994) (Correct)
Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel (1997) (Correct)
Stable Bistructure Models of PCF - Winskel (1994) (1 citation) (Correct)
Strong Stability and the Incompleteness of Stable Models for - Calculus Olivier Bastonero (Correct)
Projecting Sequential Algorithms on Strongly Stable Functions - Ehrhard (1993) (14 citations) (Correct)
Stability, Sequentiality and Demand Driven Evaluation in Dataflow - Avron, Sasson (2001) (Correct)
An Abstract Standardisation Theorem - Gonthier, Lévy.. (1992) (30 citations) (Correct)
A Theory Of Sequential Functions - Gamatie (Correct)
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel (Correct)
Correspondence between operational and denotational semantics: the.. - Ong (1995) (16 citations) (Correct)
Universal Domains For Sequential Computation - Kanneganti (1995) (Correct)
Models for Concurrency - Winskel, Nielsen (1994) (123 citations) (Correct)
SPCF: Its Model, Calculus, and Computational Power.. - Kanneganti.. (1992) (Correct)
Parallel PCF has a Unique Extensional Model - Stoughton (1991) (1 citation) (Correct)
Observable Sequentiality and Full Abstraction - Cartwright, Felleisen (1992) (17 citations) (Correct)
Correspondence between Operational and Denotational Semantics - Ong (1995) (16 citations) (Correct)
Observable Sequentiality and Full Abstraction - Cartwright, Felleisen (1992) (17 citations) (Correct)
An Standardisation Theorem - Georges Gonthier Jean-Jacques (Correct)
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
Degrees of Parallelism in the Continuous Type Hierarchy - BUCCIARELLI (1995) (2 citations) (Correct)
Degrees of Parallelism - Lichtenthäler (1996) (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