Lambda the Ultimate

inactiveTopic Interpretation of the curry-howard isomorphism
started 4/28/2004; 12:54:54 AM - last post 4/28/2004; 12:54:54 AM
Ehud Lamm - Interpretation of the curry-howard isomorphism  blueArrow
4/28/2004; 12:54:54 AM (reads: 15312, responses: 0)
Interpretation of the curry-howard isomorphism
Interesting explanation from Oleg (in the context of Haskell).

The whole thread is worth a look.


Posted to theory by Ehud Lamm on 4/28/04; 12:55:10 AM