Timeline for Where can I learn about Cartesian closed functors between categories of simply typed lambda calculus?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 31, 2023 at 15:02 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
added 93 characters in body
|
| Aug 31, 2023 at 7:05 | comment | added | Andrej Bauer | Is there some confusion going on between having an atomic type $a$ and considering the type $(a \to a) \to (a \to a)$, which is not a useful type to assign to Church numerals (as you've discovered when trying to define arithmetic), and between polymorphic types, such as $\forall a . (a \to a) \to (a \to a)$, which does make Church numerals work well? | |
| Aug 31, 2023 at 6:46 | answer | added | Damiano Mazza | timeline score: 2 | |
| Aug 31, 2023 at 4:01 | history | edited | Johan Thiborg-Ericson |
edited tags
|
|
| S Aug 31, 2023 at 3:59 | history | suggested | J. W. Tanner |
Added reference-request tag
|
|
| Aug 31, 2023 at 1:19 | review | Suggested edits | |||
| S Aug 31, 2023 at 3:59 | |||||
| Aug 30, 2023 at 21:43 | history | edited | Michael Hardy | CC BY-SA 4.0 |
edited body
|
| Aug 30, 2023 at 19:14 | history | edited | LSpice | CC BY-SA 4.0 |
less -> fewer
|
| Aug 30, 2023 at 17:49 | history | asked | Johan Thiborg-Ericson | CC BY-SA 4.0 |