E_NOPARSE
BLEG: Curry-Howard equates (proposition, proof) to (type, function). What equates it to computation (state, trace)? Russell-Whitehead?
-
-
-
Russell-Whitehead correspondance: propositions as states of your formal system, proofs as transition traces from one proposition to another.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!