Nicolai Kraus

  1. Title:
    Non-Recursive Higher Inductive Types

    Speaker:

    Link: