loading...

re: A Gentle Introduction to Curry-Howard Isomorphism VIEW POST

FULL DISCUSSION
 

I just posted an even gentler introduction to the Curry-Howard correspondence here. I think it's a fascinating topic.

code of conduct - report abuse