Timeline for Difference between lambda-calculus with well-formed formulas vs properly-formed formulas
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2014 at 10:56 | comment | added | day | I asked a related question here, which may be of use. | |
| Mar 11, 2012 at 21:33 | history | asked | mshang | CC BY-SA 3.0 |