Search for tag: "subtree"

14:47 cos326-2020-08-04-induction-datatypes cos326-2020-08-04-induction-datatypes	cos326-2020-08-04-induction-datatypes Did I Get it Right? Part 4: Induction for Datatypes cos326 induction node tree function hypothesis side proof leaf hand proofs trees definition subtree left step theorem t. tm cases expression From Daniel Macleod on August 16th, 2020 0 likes 172 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:02 cos326-2020-05-02-inductive-data-types cos326-2020-05-02-inductive-data-types	cos326-2020-05-02-inductive-data-types Inductive Datatypes cos326 tree node key leaf successor constructor int datatype subtree constructors kv prime function definition datatypes types nat cases call clause From Daniel Macleod on August 14th, 2020 0 likes 212 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ