Next: Game semantics for the
Up: Progress
Previous: Proofs of protocols and
In this section, works has been carried out on semantic models of the -calculus, possibly extended by some -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.