Speaker:  Nguyên Lê Thành Dung (LIPN, Université Paris 13)


Quando:  17/05/2019  11:30


Dove:  Aula 311, Palazzina C, L.go S. Leonardo Murialdo 1


Abstract
One of the main innovations introduced by linear logic at its birth is a representation of proofs as graphlike structures called "proof nets", instead of trees as in natural deductions. However, there have been very few attempts to connect these proof nets with mainstream graph theory. In this talk, we will discuss the benefits of such connections: 