Knowledge Tree

researcher / Sergei Soloviev

Sergei Soloviev

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants

Une approche catégorique unifiée pour la réécriture de graphes attribués

Théorie de la preuve des catégories monoïdales symétriques fermées : cohérence et équivalences de dérivations

Types inductifs, isomorphismes et récriture extensionnelle