155 followers
RT @Jose_A_Alonso: A modern perspective on type theory: From its origins until today. ~ Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.…
RT @Jose_A_Alonso: A modern perspective on type theory: From its origins until today. ~ Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.…
A modern perspective on type theory: From its origins until today. ~ Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. https://t.co/zsUdznlS02 #eBook #TypeTheory
@ezbrooks Slightly different angle: “A Modern Perspective on Type Theory—From its Origins until Today”. Recommended. https://t.co/0VRfs5PTrs