News for hackers. Stuff that matters.

A comment on Foundations of Mathematics (2015) [pdf]. Parent comment

Re:Foundations of Mathematics (2015) [pdf] by valw on Monday June 03, 2019 @12:06PM (#20084713)
You might be interested in the works of Gérard Huet! http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf
[ Parent | on HN ]
Re:Foundations of Mathematics (2015) [pdf] by nextos on Monday June 03, 2019 @02:30PM (#20086497)
Thanks. I know about Gérard Huet, but not about this particular publication.
[ Parent | on HN ]