Peter Dybjer

  1. Title:
    Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
    Speaker:
    Peter Dybjer

    Link:
    https://www.ias.edu/video/univalent/dybjer