Robert Harper

  1. Title:
    Mini-course: Computational Higher Type Theory
    Speaker:
    Robert Harper

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

  2. Title:
    Mini-course: Computational Higher Type Theory
    Speaker:
    Robert Harper

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