I’m slowly figuring out how to illustrate some features of normalisation in the λμ calculus and classical natural deduction.
Greg Restall /
npub1gw…dplw7
2024-03-22 20:35:53
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Published at
2024-03-22 20:35:53Event JSON
{
"id": "bfd0910cad37c928c0c01a5c4b94358c4ea62f83ad0bbfc3dd39ce4c583acbb8",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1711139753,
"kind": 1,
"tags": [
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112141254858882367",
"activitypub"
]
],
"content": "I’m slowly figuring out how to illustrate some features of normalisation in the λμ calculus and classical natural deduction.\n\nhttps://spaces.hcommons.social/media_attachments/files/112/141/254/748/293/061/original/662b7916f6de11d7.mp4",
"sig": "c8ef637f3ed9566b81ef3fbeafb07c579b112bc40abdba3823ca0e9f7635ecfdd490ac3a23eca4243266b0ed6325f7266bb9fc79a9e2739bd212cde0fd27e485"
}