Lambek-Grishin Calculus: focusing, display and full polarization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Dates and versions

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

Identifiers

  • HAL Id : hal-03727761 , version 1

Cite

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⟩
35 View
30 Download

Share

Gmail Facebook Twitter LinkedIn More