14:47
cos326-2020-08-04-induction-datatypes
Did I Get it Right? Part 4: Induction for Datatypes
08:02
cos326-2020-05-02-inductive-data-types
Inductive Datatypes
© 2022 The Trustees of Princeton University Broadcast Center | 1E12 Green Hall | Princeton, NJ 08544 | 609.258.7872 | [email protected]