Paul-André Melliès: Programming languages ​​and string diagrams Part 2

Paul-André Melliès: Programming languages ​​and string diagrams Part 2

Paul André Melliès - Dialogue Games and Logical Proofs in String DiagramsSee more

Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams

Programming languages in string diagrams — Paul-André Melliès 061704See more

Programming languages in string diagrams — Paul-André Melliès 061704

Programming languages in string diagrams — Paul-André Melliès 061702See more

Programming languages in string diagrams — Paul-André Melliès 061702

Paul Andre MELLIES - Programming languages ​​and ropes diagrams Part 1 | NICE 8th Jan 2018See more

Paul Andre MELLIES - Programming languages ​​and ropes diagrams Part 1 | NICE 8th Jan 2018

Programming languages in string diagrams — Paul-André Melliès 061603See more

Programming languages in string diagrams — Paul-André Melliès 061603

Programming languages in string diagrams — Paul-André Melliès 061801 1See more

Programming languages in string diagrams — Paul-André Melliès 061801 1

Paul-Andre Mellies: "String diagrams, a topological account of proofs and programs"See more

Paul-Andre Mellies: 'String diagrams, a topological account of proofs and programs'

Programming languages in string diagrams — Paul-André Melliès 061801 2See more

Programming languages in string diagrams — Paul-André Melliès 061801 2

Programming languages in string diagrams — Paul-André Melliès 061803See more

Programming languages in string diagrams — Paul-André Melliès 061803

News