Noam Zeilberger

  1. Title:
    Substructural Type Theory
    Speaker:
    Noam Zeilberger

    Link:
    https://www.ias.edu/video/univalent/1213/0322-NoamZeilberger

  2. Title:
    Hope for a Type-Theoretic Understanding of Zero-Knowledge
    Speaker:
    Noam Zeilberger

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

  3. Title:
    Untyped Linear Lambda Calculus and the Combinatorics of 3-valent Graphs
    Speaker:
    Noam Zeilberger

    Link:
    https://www.youtube.com/watch?v=qffzLGkeikc