Geometric Type Theory, Done Two Ways

(topos.institute)

4 points | by measurablefunc 9 hours ago ago