Completed
Paul André Melliès: Refinement type systems and Martin Lof type theory
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Refinement Type Systems and Martin Lof Type Theory
Automatically move to the next video in the Classroom when playback concludes