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