Andrej Bauer

  1. Title:
    A Proof Assistant Prototype Based on Algebraic Effects and Handlers
    Speaker:
    Andrej Bauer

    Link:
    https://www.ias.edu/video/univalent/1213/0321-AndrejBauer

  2. Title:
    Five Stages of Accepting Constructive Mathematics
    Speaker:
    Andrej Bauer

    Link:
    https://www.ias.edu/video/members/1213/0318-AndrejBauer