07/06/2001: Ian Mackie (LIX)
Interaction Nets: theory and applications.
Résumé
Interaction nets have been used successfully over the last few years
to encode linear logic, the lambda-calculus, and simple functional
programming languages.
In this talk I will give an overview of these
applications, together with an overview of the theory which has had to
be developed to reason about such systems: strategies for reduction,
type systems, observational equivalence and extensions of interaction
nets.