Completed
Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Toward Formalizing Scientific Theories and Models Using Categorical Logic
Automatically move to the next video in the Classroom when playback concludes
