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