Bifibrations of Polycategories and Classical Linear Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Electronic Notes in Theoretical Computer Science Année : 2020

Dates et versions

hal-03031058 , version 1 (30-11-2020)

Identifiants

Citer

Nicolas Blanco, Noam Zeilberger. Bifibrations of Polycategories and Classical Linear Logic. MFPS 2020 - 36th Conference on Mathematical Foundations of Programming Semantics, Jun 2020, Paris, France. pp.29-52, ⟨10.1016/j.entcs.2020.09.003⟩. ⟨hal-03031058⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More