Le moteur de recherche
des thèses françaises
Lorenzo Tortora de Falco
IdRefMots clés
FR |
EN
Logique de seuil
Lambda-calcul
Logique linéaire
Logique mathématique
Sémantique
Réseaux de preuve
Développement de Taylor
L’encodage des références
Concurrence
Programmation fonctionnelle (informatique)
Syntaxe transcendantale
Modèle de calcul
Isomorphisme de Curry-Howard
Diagrammes de cordes
Catégories monoidales
Séquentialisation
Cohérence
Cohérence (informatique)
Langages de programmation -- Syntaxe
Lambda-Mu-Calcul