Timeline for having issue with numbers in Polymorphic Lambda Calculus
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 30, 2016 at 11:32 | comment | added | alim | I saw Benjamin's book mentioned an abbreviation " \/X.T =def= \/X<:Top.T ". I guess that is why. Thanks. | |
| Sep 30, 2016 at 11:20 | vote | accept | alim | ||
| Sep 25, 2016 at 2:05 | history | edited | nekketsuuu | CC BY-SA 3.0 |
Church numbers --> Church numerals
|
| Sep 23, 2016 at 19:12 | review | First posts | |||
| Sep 23, 2016 at 20:23 | |||||
| Sep 23, 2016 at 19:07 | history | answered | nekketsuuu | CC BY-SA 3.0 |