Mathematics
and Interactions

Keywords > proof nets

• Videos linked to proof nets
  

  01:08:20

  published on December 2, 2020

  Dialogue Games and Logical Proofs in String Diagrams

  By Paul-André Melliès

  More +