Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Jamie Vicary

Mots clés

FR |

EN

Catégories supérieures

Catégories (mathématiques)

Théorie des types

Théorie des catégories

Diagrammes de compositions

Théorie homotopique des types

Langages formels

Sémantique opérationnelle

Catégories strictes

Catégories de Gray

Problème du mot

Diagrammes de recollement