Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by James Ladyman
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
Philosophia Mathematica
Mathematics
Philosophy
Related publications
The Homotopy Theory of Type Theories
Advances in Mathematics
Mathematics
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
Homotopy Equivariance, Strict Equivariance and Induction Theory
Proceedings of the Edinburgh Mathematical Society
Mathematics
Free Higher Groups in Homotopy Type Theory
Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory
Synthese
Philosophy
Social Sciences
Homotopy Theory of Rigid Profinite Spaces. I
Pacific Journal of Mathematics
Mathematics
The Homotopy Type of the Space of Diffeomorphisms. I
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
