Geometric Type Theory, Done Two Ways

• Posted 58 minutes ago by measurablefunc
• 4 points