RanaldClouston on Nostr: It's time in 2024 to give my #blog another go, as incentive to carefully read both ...
Published at
2024-01-04 05:51:12Event JSON
{
"id": "7b8ed8bf3aafade5087c947c3732a6e0f39d4b6c041944feaef44c6c3823303a",
"pubkey": "f2cf0dfce0e92e5ef80de5d4f4ead58db7804926d51a59524cb8c0584522aa69",
"created_at": 1704347472,
"kind": 1,
"tags": [
[
"t",
"typetheory"
],
[
"t",
"googlescholar"
],
[
"t",
"blog"
],
[
"proxy",
"https://fediscience.org/users/RanaldClouston/statuses/111696115949307942",
"activitypub"
]
],
"content": "It's time in 2024 to give my #blog another go, as incentive to carefully read both new literature and classic papers in my area; I do short summaries of papers that are cited by multiple papers in my #GoogleScholar top recommendations. This week I look at Martin--Löf's 1980 lectures on 'Intuitionistic Type Theory' https://updatedscholar.blogspot.com/2024/01/discussing-intuitionistic-type-theory.html #typeTheory",
"sig": "b0e2b5d342cb605ac0109d5464853d561da104f8e534837f859183e8796bc3b3edf96e1badcaa82149d6c26c8283128cb87d5447268ae5ceb957288c043f8388"
}
