Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Martín Hötzel Escardó

Mots clés

FR |

EN

Théorie des types

Faisceautisation

Théorie des types homotopiques

Algèbre supérieure

Théorie des catégories supérieures

Monades polynomiales

Logique monadique du second-ordre