Valery Isaev
From MaRDI portal
Person:4563226
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Indexed type theories Mathematical Structures in Computer Science | 2021-10-11 | Paper |
| Model structures on categories of models of type theories Mathematical Structures in Computer Science | 2018-10-25 | Paper |
| Contextually indexed contextual categories | 2018-09-09 | Paper |
| On fibrant objects in model categories | 2018-06-07 | Paper |
| On fibrant objects in model categories (available as arXiv preprint) | 2018-06-07 | Paper |
| Morita equivalences between algebraic dependent type theories | 2018-04-13 | Paper |
| Model category of marked objects | 2016-10-26 | Paper |
| Algebraic Presentations of Dependent Type Theories | 2016-02-26 | Paper |
Research outcomes over time
This page was built for person: Valery Isaev
