José A. Alonso on Nostr: Tipos dependientes: λP. ~ Juan Pablo Yamamoto Zazueta. #TypeTheory #CurryHoward
Published at
2024-08-24 07:27:43Event JSON
{
"id": "3e1b4045ae1aebf96c4cd3cd366897edb70af9949fec1ed834c861de7c9fc880",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724484463,
"kind": 1,
"tags": [
[
"t",
"curryhoward"
],
[
"t",
"typetheory"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113015813821846220",
"activitypub"
]
],
"content": "Tipos dependientes: λP. ~ Juan Pablo Yamamoto Zazueta. https://jpyamamoto.com/projects/dependent-types/dept.pdf #TypeTheory #CurryHoward",
"sig": "0fbd2c3254ae7683d3a06eb177e65c2f03d36a9384adb577ad5d5ec4d71b3ab7144e9a8d2d15bd22e6ccd26ec87de272bdc9e57e99df7b671134cd02aceadbe5"
}
