Géométrie de l'Interaction et Réseaux Différentiels

TEL :: [tel-00392242, version 1]
http://tel.archives-ouvertes.fr/tel-00392242/en/
La Géométrie de l'Interaction (GdI) de Girard est une sémantique des langage de programmations tenant compte de leur dynamique de réduction.
...