- Vivi Padova
- Il Bo
Lunedi' 14 marzo ore 11.30 in aula 2BC30 il Dr. Paul Mellies (Laboratoire PPS, Université Paris 7) terra' un seminario introduttivo dal titolo "String diagrams in knot theory and proof theory: an introduction".
In this introductory talk, I will describe how string diagrams are used in knot theory in order to compute topological invariants, as well as in proof theory in order to compute proofs (or programs) modulo symbolic execution. The talk will be illustrated by tensorial logic, a primitive logic of tensor and negation, whose proofs are depicted as 2-dimensional surfaces formulated in the relevant 3-categorical framework.
Rif. int. M.E. Maietti