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' updatedscholar.blogspot.com/20… #typeTheory
Discussing "Intuitionistic Type Theory"
(Link) Author: Per Martin-Löf (University of Stockholm) Reference: Per Martin-Löf, Intuitionistic Type Theory, Notes by Giovanni Sambin of...updatedscholar.blogspot.com