Martin Escardo on Nostr: What would be a short, accessible, self-contained text for a student who graduated ...
What would be a short, accessible, self-contained text for a student who graduated with a master in maths in a 5-year program, with some limited exposure to computer science, regarding "the simply-typed lambda calculus can be interpreted in any cartesian closed category".
Published at
2025-07-19 16:19:45 UTCEvent JSON
{
"id": "99d0ca6bacde8f5b6eb2fdc45480581dd01f2a5fd90007f5e9f6b5470ab7af30",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1752941985,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/114880805966046496",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "What would be a short, accessible, self-contained text for a student who graduated with a master in maths in a 5-year program, with some limited exposure to computer science, regarding \"the simply-typed lambda calculus can be interpreted in any cartesian closed category\".",
"sig": "ad58c1e5f4164f8579edce1813ca4f291e2f54352ad352c361903bc540d4988b86156f50adf9306b94cb07fa05137e6aabe206ce52ad08e7055d1aef72cbb770"
}
