Thomas Leinster

  1. Title:
    A language for higher categorical structures

    Speaker:

    Link: