Valery Isaev
From MaRDI portal
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 (available as arXiv preprint) | 2018-06-07 | Paper |
| On fibrant objects in model categories | 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
