Login
Roast topics
Find topics
Find it!
From:
Bartosz Milewski's Programming Cafe
(Uncensored)
subscribe
Identity Types | Bartosz Milewski's Programming Cafe
https://bartoszmilewski.com/2025/09/22/identity-types/
links
backlinks
Tagged with:
math
Roast topics
Find topics
Roast it!
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…