Jean-Baptiste Joinet: Calculus of structures and proof-nets. WoLLIC 2003: 17