Paul

  1. Title:
    Dialogue Games and Logical Proofs in String Diagrams
    Speaker:
    Paul

    Link:
    https://www.youtube.com/watch?v=JK2B_9eFRMA