Greg Restall on Nostr: It's January 2025 and I am finding myself citing the difference between call-by-name ...
It's January 2025 and I am finding myself citing the difference between call-by-name and call-by-value β reduction strategies in the middle of discussion of contingent existence, first-order quantified modal logic, and serious actualism.
(I'm only half surprised that these different worlds are colliding.)
Published at
2025-01-16 20:57:36Event JSON
{
"id": "a943ee3f2dba0224357d346d06218cd3b4e3fb9db393b27003c787f47a5c9fbf",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1737061056,
"kind": 1,
"tags": [
[
"proxy",
"https://hcommons.social/users/consequently/statuses/113840033406078762",
"activitypub"
]
],
"content": "It's January 2025 and I am finding myself citing the difference between call-by-name and call-by-value β reduction strategies in the middle of discussion of contingent existence, first-order quantified modal logic, and serious actualism.\n\n(I'm only half surprised that these different worlds are colliding.)",
"sig": "63041a1bea93ab98fb0d65bc195247c514cb7739365446d761824f33f7142d78226043192993016f80069698bfa10e96c198d1b65e18c6c2feb1d19c004f9652"
}
