Daniel Licata

  1. Title:
    Eilenberg-Mac Lane Spaces in HoTT
    Speaker:
    Daniel Licata

    Link:
    https://www.ias.edu/video/univalent/1213/0313-DanielLicata

  2. Title:
    A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers
    Speaker:
    Daniel Licata

    Link:
    https://www.ias.edu/video/members/licata2012Nov26

  3. Title:
    Toward a Computational Interpretation of Univalence
    Speaker:
    Daniel Licata

    Link:
    https://www.ias.edu/video/1213/univalent/1011-DanielLicata

  4. Title:
    Computing with Univalence
    Speaker:
    Daniel Licata

    Link:
    https://www.ias.edu/video/math/stpm2012/licata