Eric Finster

  1. Title:
    Cohomology in Homotopy Type Theory

    Speaker:

    Link:

  2. Title:
    The Calculus of Opetopes

    Speaker:

    Link:

  3. Title:
    Higher Dimensional Syntax

    Speaker:

    Link:

  4. Title:
    The Nilpotence Tower

    Speaker:

    Link: