2-adjoint equivalences in homotopy type theory. - Daniel Carranza; Jonathan Chang; Chris Kapulkin; Ryan Sandford (Log. Methods Comput. Sci., 2021)

Extensional concepts in intensional type theory, revisited. - Chris Kapulkin; Yufeng Li (CoRR, 2023)

Efficient computations of discrete cubical homology. - Chris Kapulkin; Nathan Kershaw (CoRR, 2024)

Logical Structure on Inverse Functor Categories. - Marcelo Fiore; Chris Kapulkin; Yufeng Li (CoRR, 2024)

Data analysis using discrete cubical homology. - Chris Kapulkin; Nathan Kershaw (CoRR, 2025)