Mathematics·Research Seminar·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:51:47
Academic Discipline
Mathematics
Linear algebra, real and complex analysis, topology, differential geometry, probability, combinatorics, and number theory.
18courses132standalone talks428total lectures
Subfields
Formal Methods & Type Theory— Lambda calculus, dependent and homotopy type theory, formal specification (TLA+), proof assistants, and logic.
3 topicsjknavigate↵watchcchaptersssavexwatched
Save
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Emily Riehl · Johns Hopkins University
1:53:51
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:36:50
Mathematics·Research Seminar·Topology & Geometry · Vladimir Voevodsky · Institute for Advanced Study
28:58
Mathematics·Research Seminar·Formal Methods & Type Theory · Vladimir Voevodsky · Institute for Advanced Study
50:13
38:29
40:44
1:06:29
29:11
21:06
1:15:14
29:00
Theory & Algos·Research Seminar·Number Theory & Abstract Algebra · Ryan O'Donnell · Carnegie Mellon University
55:36
Theory & Algos·Research Seminar·Formal Verification & Logic · Dan Spielman, Nikhil Srivastava & Venkat Guruswami · UC Berkeley
32:30
44:36
Undergraduate Student Lectures · Lec 6·Formal Verification & Logic · Vicky Neale · University of Oxford
44:20
Category Theory for Programmers · Lec 6·Category Theory, Topos Theory & Set Foundations · Bartosz Milewski · Independent Scholar
20:56
Category Theory for Programmers · Lec 11·Formal Methods & Type Theory · Bartosz Milewski · Independent Scholar
33:14
Category Theory for Programmers · Lec 12·Formal Methods & Type Theory · Bartosz Milewski · Independent Scholar
36:47
Showing 20 of 20 lectures16.9h shown