Lorenzo Tortora de Falco (Rome 3), Weak normalization, strong normalization and confluence of Linear Logic proof-nets: the semantic point of view

Programme

Résumé

Following a previous joint work with Daniel de Carvalho and Michele Pagani, we present a semantic approach to the well-known properties of cut-elimination of Linear Logic proof-nets (weak and strong normalization, confluence). This is a joint ongoing work with Daniel de Carvalho.