Lambek-Grishin Calculus: focusing, display and full polarization - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Dates et versions

hal-03727761 , version 1 (19-07-2022)

Identifiants

  • HAL Id : hal-03727761 , version 1

Citer

Giuseppe Greco, Michael Moortgat, Valentin D. Richard, Apostolos Tzimoulis. Lambek-Grishin Calculus: 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⟩
52 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More