Talk page

Title:
Dialogue Games and Logical Proofs in String Diagrams

Speaker:
Paul

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