Timeline for Can application in untyped lambda calculus be seen as the uncurried unit of some monad?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 28, 2023 at 10:19 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
The term type is preferred to signature in mathematics when referring to lambda calculus.
|
| Aug 28, 2023 at 6:26 | comment | added | Andrej Bauer | Are you, by any chance, saying "signatures" instead of "types"? That would explain why I am so confused. It's not called the "simply singatured $\lambda$-calculus"... | |
| Aug 28, 2023 at 5:20 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
added 52 characters in body
|
| Aug 28, 2023 at 5:13 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
added 605 characters in body
|
| Aug 27, 2023 at 19:56 | comment | added | Andrej Bauer | There seems to be broken LaTeX in the middle of the question, but more importantly, what is the question, precisely? It would help if you could write an abridged version of your question that people can read quickly. Experience shows that very verbose questions attract little attention. | |
| Aug 27, 2023 at 15:28 | history | asked | Johan Thiborg-Ericson | CC BY-SA 4.0 |