Unintentional Type Theory

(ncatlab.org)

2 points | by danny00 9 hours ago ago

No comments yet.