All Questions
Tagged with curry-howard object-oriented
1 question
2
votes
1
answer
197
views
Curry-howard isomorphism in object oriented programming languages
I want to get a better intuition for the curry howard isomorphism, and my intuition is mainly based on object oriented programming languages like JavaScript.
So as an example, I am going to formalize ...