INI Seminar Room 1
Videos from INI Seminar Room 1
Page 1 of 1 • 6 total videos
34:25
VSOW04 | Prof. Tony Hoare | Tony Hoare Answers Questions
INI Seminar Room 1
16 views
22:12
Dr. Merlin Carl | Real closed fields and models of Peano Arithmetic
INI Seminar Room 1
21 views
21:17
Prof. Tony Hoare | VSI: A Personal History of its Early Origins
INI Seminar Room 1
18 views
1:00:12
Exploring Caroline Eustis Seely's Impact on Mathematics
INI Seminar Room 1
67 views
1:00:06
Pre-sheaves & Grothendieck Construction in Higher Geometry
INI Seminar Room 1
28 views
1:02:37
Exploring Weihrauch Reducibility in Multi-Represented Spaces with Dr. Takayuki Kihara ðŸ§
INI Seminar Room 1
72 views