Simone Martini
IdRefMots clés
FR |
EN
Logique linéaire
Complexité implicite
Sémantique des contextes
Réseaux d'intéractions
Temps polynomial
Primitif récursif
Complexité de calcul (informatique)
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
Géométrie de l'interaction
Langages de programmation
Logique de seuil