José A. Alonso on Nostr: Reversible computation with stacks and "Reversible management of failures". ~ Matteo ...
Published at
2025-01-13 07:31:37Event JSON
{
"id": "b975af09180a18dec51521d3247f8215667231bb84d4972799dace7728c0fed1",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736753497,
"kind": 1,
"tags": [
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113819877222101380",
"activitypub"
]
],
"content": "Reversible computation with stacks and \"Reversible management of failures\". ~ Matteo Palazzo, Luca Roversi. https://arxiv.org/abs/2501.05259v1 #ITP #Coq #Rocq",
"sig": "c6e43131571295046b3d43d61f3a4b2cef0e0f72b978b16178d34cff3ab41416b354890a8a6cf8d3cda7c2f75f3288a6d26a3c6a6f5f969a71040e5eed9cb5ea"
}
