Mathematics
and Interactions

Keywords > proof structures

• Videos linked to proof structures
  

  01:08:20

  published on December 2, 2020

  Dialogue Games and Logical Proofs in String Diagrams

  By Paul-André Melliès

  More +