Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
Knowledge
❯
Type Theory
Type Theory
Jul 25, 2025
1 min read
type-theory
Graph View
Backlinks
Subtype Polymorphism