Cristina Barés Gómez
IdRefMots clés
FR |
EN
Bidimensionnalité
Logique Temporelle
Théorie des Modèles
Temps
Temps Verbal
Aspect
Fondement des Mathématiques
Théorie Constructive des Types
Dialogues
Calcul des Séquents
Théorie de la démonstration
Fonction-Type
Mathématiques constructives
Théorie des types
Mathématiques -- Fondements
Analogie
Logique dialogique
Impératifs déontiques
Proportionnalité
Raisonnement immanent