Habilitation à Diriger des Recherches

Une méthode opérationnelle issue de:

  • Déduction Naturelle (Prawitz)
  • Calcul des Séquents (Gentzen)
  • Sémantique Opérationnelle Structurelle (Plotkin)

  • Nombreuses descriptions:
    • langages impératifs
    • langages applicatifs
    • systèmes de types
    • traductions
    • ...