Damiano Mazza
IdRefMots clés
FR |
EN
Lambda-calcul
Logique informatique
Logique de seuil
Isomorphisme de Curry-Howard
Théorie de la démonstration
Logique linéaire
Développement de Taylor
Types intersections
Réseaux de preuve
Langages de programmation -- Sémantique
Complexité de calcul (informatique)
Sémantique
Types union
Non-idempotence
Intersection séquentielle
Typage infinitaire
Réduction productive
Réduction non-productive
Idempotents
Appel-par-pousse-valeur