Comment on Mathematicians will probably become obsolete before anyone else [pdf] (2004)parentComments−pdhborges19dI think it is time to repost Against Curry-Howard Mysticism (https://liamoc.net/forest/loc-000S/index.xml)
Comments
I think it is time to repost Against Curry-Howard Mysticism (https://liamoc.net/forest/loc-000S/index.xml)