Login
Roast topics
Find topics
Find it!
From:
Bartosz Milewski's Programming Cafe
(Uncensored)
subscribe
Models of (Dependent) Type Theory | Bartosz Milewski's Programming Cafe
https://bartoszmilewski.com/2025/09/05/models-of-dependent-type-theory/
links
backlinks
Tagged with:
functional programming
category theory
type theory
type system
dependent types
homotopy
homotopy type theory
Roast topics
Find topics
Roast it!
Previously: (Weak) Factorization Systems. It’s been known since Lambek that typed lambda calculus can be modeled in a cartesian closed category, CCC. Cartesian means that you can form product…