Examples are the work on interaction categories, giving rise to type systems for concurrency; and on game semantics, providing fully abstract models and analyses for programming languages with advanced features.
This talk will present a survey of intensional semantics of interaction and outline some of its applications.
| Page d'accueil Irisa | Séminaires
Irisa 1999 | Manifestations
scientifiques | Comment se rendre
à l'Irisa ? |
webmaster@irisa.fr, janvier 1999