Modal Homotopy Type Theory

doi 10.1093/oso/9780198853404.001.0001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press

Related search

Type Theory and Homotopy

2012English

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Homotopy-Initial Algebras in Type Theory

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2017English

Free Higher Groups in Homotopy Type Theory

2018English

Abstract Homotopy and Simple Homotopy Theory

1997English

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

Synthese
PhilosophySocial Sciences
2018English

Homotopy and algebraicK-theory

Pacific Journal of Mathematics
Mathematics
1972English

Homotopy Extension Property in Homotopy Theory for Topological Semigroups

ISRN Geometry
2012English

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

Philosophia Mathematica
MathematicsPhilosophy
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy