HAL Id: hal-03727761 https://hal.science/hal-03727761 Submitted on 19 Jul 2022 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entifc research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la difusion de documents scientifques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Lambek-Grishin Calculus: focusing, display and full polarization Giuseppe Greco, Michael Moortgat, Valentin D. Richard, Apostolos Tzimoulis To cite this version: Giuseppe Greco, Michael Moortgat, Valentin D. Richard, Apostolos Tzimoulis. Lambek-Grishin Cal- culus: focusing, display and full polarization. Topology, Algebra, and Categories in Logic (TACL 2022), Maria Manuel Clementino; Peter Jipsen; Jorge Picado, Jun 2022, Coimbra, Portugal. pp.79- 81. hal-03727761