Chris Kapulkin

According to our database¹, Chris Kapulkin authored at least 5 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Data analysis using discrete cubical homology.

[BibT_eX]

[DOI]

Chris Kapulkin

Nathan Kershaw

CoRR, June, 2025

2024

Logical Structure on Inverse Functor Categories.

[BibT_eX]

[DOI]

Marcelo Fiore

Chris Kapulkin

Yufeng Li

CoRR, 2024

Efficient computations of discrete cubical homology.

[BibT_eX]

[DOI]

Chris Kapulkin

Nathan Kershaw

CoRR, 2024

2023

Extensional concepts in intensional type theory, revisited.

[BibT_eX]

[DOI]

Chris Kapulkin

Yufeng Li

CoRR, 2023

2021

2-adjoint equivalences in homotopy type theory.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Chris Kapulkin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...