Valery Isaev

According to our database, Valery Isaev authored at least 6 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2024

(Co)condition hits the Path.

Tesla Zhang, Valery Isaev

CoRR, 2024

2021

Indexed type theories.

Valery Isaev

Math. Struct. Comput. Sci., 2021

2020

Models of Homotopy Type Theory with an Interval Type.

Valery Isaev

CoRR, 2020

2018

Model structures on categories of models of type theories.

Valery Isaev

Math. Struct. Comput. Sci., 2018

Morita equivalences between algebraic dependent type theories.

Valery Isaev

CoRR, 2018

2016

Algebraic Presentations of Dependent Type Theories.

Valery Isaev

CoRR, 2016