1119

The Lambda Calculus: Its Syntax and Semantics
–
 1984

4

Filter models for a parallel and non deterministic lambdacalculus
–
 1993

216

A filter lambda model and the completeness of type assignment. J.Symbolic Logic, 48:931940
–
 1983

24

A Lambda Calculus for (Strict) Parallel Functions
–
 1994

34

Principal type schemes and calculus semantics
–
 1980

35

Principal type schemes for the strict type assignment system
–
 1993

58

Principal type schemes for an extended type theory
–
 1984

2

de'Liguoro, "May and Must Convergency in Concurrent calculus", LNCS 841
–
 1994

7

The Lazy Calculus : an Investigation into the Foundations of Functional Programming
–
 1988

9

The Lazy Calculus in a Concurrency Scenario
–
 1994

26

On Semantic Foundations for Applicative Multiprogramming
–
 1983

103

Complete restrictions of the intersection type discipline
–
 1992

128

Lambda Calculus Models of Programming Languages
–
 1968

18

A mathematical semantics for a nondeterministic typed λcalculus. Theoret
–
 1980

36

Lambda Calculus Models and Extensionality
–
 1980

1

S.R.: (semi) separability of finite sets of terms
–
 1978

1

Space–time scales of internal waves: A progress report
–
 1975

6

NonDeterministic Extensions of Untyped λcalculus
–
 1995

2

Light Linear Logic. Available by ftp anonymous on lmd.univmrs.fr
–
 1995
