Andrei Rodin’s Talk in City University of New York
On Wednesday November 9 (that was already early morning of Thursday by Central European Time) in the Computer Science department of the City University of New York Andrei Rodin presented a research talk titled “Kolmogorov’s Calculus of Problems and Homotopy Type Theory”.