Benedikt Ahrens

  1. Title:
    Categorical structures in type theory, in type theory

    Speaker:

    Link:

  2. Title:
    Univalent foundations and the equivalence principle

    Speaker:

    Link:

  3. Title:
    Univalent foundations and the equivalence principle

    Speaker:

    Link:

  4. Title:
    Syntax and Semantics

    Speaker:

    Link: