Dependent Types Articles

Page 1 of 1 (3 articles)

10/18/2025 • EN

Explores advanced categorical modeling of identity types in homotopy type theory, focusing on fibrations, cofibrations, and path objects.

Categorical Model Dependent Types Fibrations Homotopy Type Theory Identity Types

9/22/2025 • EN

Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.

Dependent Types Equality Identity Type programming languages type theory

9/5/2025 • EN

Explores categorical models for dependent type theory, connecting lambda calculus to fibrations and sections in locally cartesian closed categories.

Category Theory Dependent Types formal verification Lambda Calculus type theory

Select Language