Geometric Type Theory, Done Two Ways

4 pointsposted 10 hours ago
by measurablefunc
(topos.institute)

No comments yet