Précédent : -calcul et compilation des langages Remonter : Structures fondamentales de calcul Suivant : Verified Internet Protocols

Modèles du -calcul

Participant : Hugo Herbelin

Hugo Herbelin a étudié les formalismes en terme de jeux du calcul, en particulier dans leurs rapports avec les machines à environnements [7, 28, 27].

Cela a conduit à de nouvelles machines à environnements pour la réduction d'expressions fonctionnelles en manipulant des arbres de Böhm plutôt que des lambda-termes [25].