Dana Scott

  1. Title:
    Formalizing a Calculus of Enumeration Operators
    Speaker:
    Dana Scott

    Link:
    https://video-archive.fields.utoronto.ca/view/4681