Hacker News new | ask | show | jobs
Algebraic Presentations of Dependent Type Theories (2017) (arxiv.org)
3 points by anqurvanillapy 2674 days ago