The Homotopy Theory of Type Theories

Advances in Mathematics - United States
doi 10.1016/j.aim.2018.08.003
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Elsevier BV

Related search

Type Theory and Homotopy

2012English

Modal Homotopy Type Theory

2020English

Homotopy-Initial Algebras in Type Theory

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2017English

Free Higher Groups in Homotopy Type Theory

2018English

Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory

Synthese
PhilosophySocial Sciences
2018English

Extending Homotopy Theories Across Adjunctions

Homology, Homotopy and Applications
Mathematics
2017English

The Derivatives of Homotopy Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Identity in Homotopy Type Theory, Part I: The Justification of Path Induction

Philosophia Mathematica
MathematicsPhilosophy
2015English

Abstract Homotopy and Simple Homotopy Theory

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy