Type Theory and Homotopy

doi 10.1007/978-94-007-4435-6_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

Modal Homotopy Type Theory

2020English

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

Homotopy and algebraicK-theory

Pacific Journal of Mathematics
Mathematics
1972English

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

Synthese
PhilosophySocial Sciences
2018English

Fibrations and Homotopy Type

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1984English

Fibrations and Homotopy Type

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy