Timeline for cut elimination
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2009 at 2:01 | comment | added | Dan Piponi | Actually, I had the same "overthinking" problem too and spent a while trying to get an answer to this question. That paper finally cleared it up for me. BTW By the Curry-Howard isomorphism cut-elimination is essentially the same as subroutine-elimination. Again, you can write code without subroutines, but you wouldn't want to. | |
| Dec 12, 2009 at 1:25 | vote | accept | CommunityBot | moved from User.Id=577 by developer User.Id=69903 | |
| Dec 12, 2009 at 1:09 | history | answered | Dan Piponi | CC BY-SA 2.5 |