Timeline for Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus? Is $\lambda x$ the same as $\tau_x$?
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 7, 2012 at 15:49 | comment | added | Todd Trimble | +1, Neel. This is a really well thought-out reply. | |
Feb 7, 2012 at 15:34 | history | answered | Neel Krishnaswami | CC BY-SA 3.0 |