Search for tag: "definition"

EHL Session 6

EHL Seminar 5: Failing Strategies 2 Tuesday, November 10 Speakers: John Haldon (History, Princeton) General team discussion focused around key themes (to be agreed and circulated to speakers,…

From  Sarah Porter on February 17th, 2021 0 likes 3 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod on August 16th, 2020 0 likes 170 plays

cos326-2020-05-02-inductive-data-types

Inductive Datatypes

From  Daniel Macleod on August 14th, 2020 0 likes 206 plays