Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Automated Reasoning Année : 2018

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Dates et versions

hal-01931400 , version 1 (22-11-2018)

Identifiants

Citer

Matteo Acclavio. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9466-4⟩. ⟨hal-01931400⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More