Bifibrations of Polycategories and Classical Linear Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Bifibrations of Polycategories and Classical Linear Logic

Domaines

Langage de programmation [cs.PL]

Noam Zeilberger  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03031058

Soumis le : lundi 30 novembre 2020-12:52:22

Dernière modification le : jeudi 1 août 2024-17:08:02

Consulter le texte intégral

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 IP_PARIS GS-COMPUTER-SCIENCE
57 Consultations
0 Téléchargements

Altmetric

Partager

More