Quantales and (noncommutative) linear logic 论文

1990Journal of Symbolic Logic引用 316
DOI
Advanced Algebra and LogicQuantum Mechanics and ApplicationsLogic, programming, and type systems
量子计算Quantum Mechanics and ApplicationsAdvanced Algebra and LogicLogic, programming, and type systems
关系图谱

Quantales and (noncommutative) linear logic · 作者

D

David N. Yetter