Curry-Howard, the Ontological Ultimate - Paul Snively's Blog
psnively.github.io/blog/2014/10/14/Curry-Howard-the-Ontological-Ultimate
A trickle of fallout from Amanda Laucher’s and my Strange Loop 2014 presentation, Type Systems: The Good, The Bad, and The Ugly continues to …
Comments (0)
Sign in to post comments.