Benedikt Ahrens

  1. Title:
    Categorical structures in type theory, in type theory
    Speaker:
    Benedikt Ahrens

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

  2. Title:
    Univalent foundations and the equivalence principle
    Speaker:
    Benedikt Ahrens

    Link:
    https://www.ias.edu/video/VoevodskyMemConf-2018/0912-BenediktAhrens

  3. Title:
    Univalent foundations and the equivalence principle
    Speaker:
    Benedikt Ahrens

    Link:
    https://www.ias.edu/video/shorttalks/2015/0921-BenediktAhrens

  4. Title:
    Syntax and Semantics
    Speaker:
    Benedikt Ahrens

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

  5. Title:
    Le principe d'univalence: le transfer du raisonnement à traver les equivalence
    Speaker:
    Benedikt Ahrens

    Link:
    https://www.youtube.com/watch?v=Fh-0d5f6uWE