Nicolai Kraus

  1. Title:
    Non-Recursive Higher Inductive Types
    Speaker:
    Nicolai Kraus

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