Skip to main content
Extensional existence
Archive
About me
Research
Teaching
RSS feed
Posts for year 2019
2019-08-23 00:00
A short primer on type theory