Hacker News new | ask | show | jobs
Curry-Howard, the Ontological Ultimate (psnively.github.io)
1 points by fabriceleal 4257 days ago