Lorenzo Tortora de Falco (Università Roma Tre), Proof-NETS and (Intersection) Types

Schedule