Mathieu Hoyrup

  1. Title:
    Products do not preserve computable type
    Speaker:
    Mathieu Hoyrup

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310161400-Hoyrup.html