Logics for Concurrency and $\lambda$-calculus

In this section, works has been carried out on semantic models of the $\lambda$-calculus, possibly extended by some $\delta$-rules, and of linear logic. Denotational semantics is also used to provide models for concurrent languages and infinite streams. Research has been mainly conducted at Edinburgh, ENS, INRIA Sophia-Antipolis and Sussex.