“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
