Actions de recherche

• Programmation distribuée d'ordre supérieur
• Un nouveau modèle de la concurrence
• Récupération concurrente de mémoire et preuves mécaniques
• Langages de programmation fonctionnels
• Substitutions explicites
• Systèmes de réductions abstraites
• Maintenance des systèmes d'exploitation