Ian Orton

  1. Title:
    Cubical Sets Axiomatised in the Internal Type Theory of a Topos
    Speaker:
    Ian Orton

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