Chris Kapulkin

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Theoretical Framework

Domain Ontology

Top Venues

Log. Methods Comput. Sci.

Publications

Chris Kapulkin, Yufeng Li
Extensional concepts in intensional type theory, revisited. CoRR (2023)
Daniel Carranza, Jonathan Chang, Chris Kapulkin, Ryan Sandford
2-adjoint equivalences in homotopy type theory. Log. Methods Comput. Sci. 17 (1) (2021)