Download Lagu André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b MP3 & MP4

03 December 2018

The New York City Category Theory Seminar

01:43:32