2,679 followers io🏄🏽♂️ @Astro_Erik Homotopy Theoretic Models of Type Theory. http://t.co/twHNEtYv 29 Aug 2012 Reply Repost Favourite