Search
Items tagged with: typetheory
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
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
On this week's #blog , a bit late as I work around the start of teaching this semester, I write about the fascinating PhD thesis, 'On the homotopy groups of spheres in homotopy type theory' https://updatedscholar.blogspot.com/2023/02/discussing-on-homotopy-groups-of.html #Hott #TypeTheory #Homotopy
Discussing 'On the homotopy groups of spheres in homotopy type theory'
(Link) Author: Guillaume Brunerie (Université Nice-Sophia-Antipolis) Reference: Brunerie, Guillame. “On the homotopy groups of spheres in ...updatedscholar.blogspot.com
I am excited for this Homotopy Type theory online learning.
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
#HoTT #typetheory
https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
#HoTT #typetheory
https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
HoTTEST Summer School 2022
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.uwo.ca