Unintentional Type Theory

(ncatlab.org)

2 points | by danny00 8 hours ago

No comments yet.