Ulrich Berger

  1. Title:
    Non-determinism and partiality in realizability: Pure Gray code
    Speaker:
    Ulrich Berger

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611161003-Berger.html