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

Lambek-Grishin Calculus: focusing, display and full polarization

Domaines

Logique en informatique [cs.LO] Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
TACL_2022_paper_45.pdf (227.89 Ko) Télécharger le fichier
slidesGGreco2.pdf (174.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Valentin D. Richard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03727761

Soumis le : mardi 19 juillet 2022-15:53:20

Dernière modification le : mardi 26 mars 2024-17:44:13

Archivage à long terme le : jeudi 20 octobre 2022-19:07:20

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD ENS-PARIS-SACLAY
62 Consultations
81 Téléchargements

Partager

More