Accéder au guichet d’assistance de l'Abes
Accéder à la documentation de theses.fr
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Laurent
Méhats
IdRef
Mots clés
FR
Théorie des catégories
Cohérence
Théorie de la preuve
Logique linéaire
Category theory
Coherence
Proof theory
Linear logic
Théorie de la démonstration
Catégories (mathématiques)
Auteur / Autrice de 1 thèse(s)