Showing posts with label
Homotopy type theory
.
Show all posts
Showing posts with label
Homotopy type theory
.
Show all posts
Friday, January 13, 2017
Thorsten Altenkirch: Computerphile: Computer Science ∩ Mathematics (Type Theory)
Thorsten Altenkirch
Wednesday, September 21, 2016
Vladimir Voevodsky: An Intuitive Introduction to Motivic Homotopy Theory
Vladimir Voevodsky
Older Posts
Home
Subscribe to:
Posts (Atom)
