1. A generalized Kahn principle for abstract asynchronous networks;Abramsky,1989
2. Bottom-up computations of recursive programs;Berry;RAIRO Inform. Théor. Appl.,1976
3. Séquentialité de l'évaluation formelle des lambda-expressions;Berry,1978
4. Stable models of typed λ-calculi;Berry,1978
5. Modèles complètement adéquats et stables des lambda-calculs typés;Berry,1979