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