Jacob Sussmilch
Search
Search
Dark mode
Light mode
Explorer
Tag: logic
1 item with this tag.
Mar 31, 2026
Martin-Löf Type Theory
mathematics
type-theory
logic