Logo image
Se connecter
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces
Acte de colloque   Open Access

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

Christian Retoré
2nd Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Vol.353, pp.157-174
2nd Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Paris, France, 29/06/2020–30/06/2020)
2021

Résumé

Linear logic Denotational semantics 03F52, 03B47

Fichiers et liens (2)

url
Find in HALAfficher
url
https://doi.org/10.4204/EPTCS.353.8Afficher
Published (Version of record) Ouvrir

Indicateurs

1 Consultations de la notice

Détails

Logo image