Simone Martini
IdRefMots clés
FR |
EN
Logique linéaire
Types
Signification
Calcul
Logique mathématique
Analyse fonctionnelle
Logique combinatoire
Types abstraits de données (informatique)
Russell, Bertrand (1872-1970)
Développement de Taylor
Lambda-calcul
Complexité implicite
Sémantique des contextes
Réseaux d'intéractions
Temps polynomial
Primitif récursif
Complexité de calcul (informatique)
Géométrie de l'interaction
Langages de programmation
Logique de seuil