Unintentional Type Theory

 (ncatlab.org)

2 points | by danny00 3 hours ago

0 comments