“Debate between neo-Markovians, neo-Hilbertians, and Atanassowists on the meaning of the Curry-Howard isomorphism” http://bit.ly/con72K
Posted on Tuesday June 15th
“Debate between neo-Markovians, neo-Hilbertians, and Atanassowists on the meaning of the Curry-Howard isomorphism” http://bit.ly/con72K
Soon, we'll be updating the look and feel of this theme. Read about the changes here. You can easily turn off this notification in the theme customization panel.