Monthly Archives: October 2017

Impredicative Encodings of Inductive Types in HoTT

Posted on 11 October 2017 by Sam Speight

I recently completed my master’s thesis under the supervision of Steve Awodey and Jonas Frey. A copy can be found here. Known impredicative encodings of various inductive types in System F, such as the type of natural numbers do not … Continue reading →

Posted in Applications, Foundations, Uncategorized | 5 Comments

In memoriam: Vladimir Voevodsky

Posted on 1 October 2017 by Steve Awodey

https://www.ias.edu/news/2017/vladimir-voevodsky

Posted in Uncategorized | Leave a comment