Chris Kapulkin

According to our database¹, Chris Kapulkin authored at least 9 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

Links

On csauthors.net:

Bibliography

2025

Yet another cubical type theory, but via a semantic approach.

[BibT_eX]

[DOI]

Chris Kapulkin

Yufeng Li

CoRR, December, 2025

(Pointed) Univalence in Universe Category Models of Type Theory.

[BibT_eX]

[DOI]

Chris Kapulkin

Yufeng Li

CoRR, December, 2025

A Toolkit for Structured Lifts.

[BibT_eX]

[DOI]

Chris Kapulkin

Yufeng Li

CoRR, December, 2025

Fast computation of the first discrete homology group.

[BibT_eX]

[DOI]

Jacob Ender

Chris Kapulkin

CoRR, December, 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...