Timeline for Does lambda polymorphism have some universal property?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2023 at 9:39 | comment | added | varkor | What do you mean by "the type of the function might have to be "lifted" in order to match the type of the value it is applied to"? The Church numeral representation is an encoding for the untyped lambda calculus, so there are no types. Do you actually mean to refer to the polymorphic lambda calculus? | |
| Aug 18, 2023 at 3:48 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
added 18 characters in body
|
| Aug 18, 2023 at 3:13 | history | asked | Johan Thiborg-Ericson | CC BY-SA 4.0 |