Unintentional Type Theory

 (ncatlab.org)

1 points | by measurablefunc  10 hours ago

No comments yet.