Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Krzysztof Kapulkin
The Homotopy Theory of Type Theories
Advances in Mathematics
Mathematics
Related publications
Type Theory and Homotopy
Modal Homotopy Type Theory
Homotopy-Initial Algebras in Type Theory
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Free Higher Groups in Homotopy Type Theory
Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory
Synthese
Philosophy
Social Sciences
Extending Homotopy Theories Across Adjunctions
Homology, Homotopy and Applications
Mathematics
The Derivatives of Homotopy Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
Philosophia Mathematica
Mathematics
Philosophy
Abstract Homotopy and Simple Homotopy Theory
