Vers la logique linéaire : une théorie de la démonstration sous-structurelle, au-delà des logiques classique et intuitionniste (THEODEM)
Théorie des modèles, des catégories, des types, lambda-calcul, logique linéaire.
Clos
Clos
Statut
[clos] 2021-2023