Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
user600670's user avatar