Searching for "Quantales and (Noncommutative) Linear Logic." – sorted by Relevance.
-
A Calculus for Access Control in Distributed Systems
- Workshop Notes, October-November 1988. [26] D.N. Yetter. Quantales and (Noncommutative) Linear Logic
- Cited by 256 (15 self) – Add To MetaCart
-
Computational Aspects of Linear Logic
- . Quantales and (noncommutative) linear logic. Journal of Symbolic Logic, 55:41--64, 1990. BIBLIOGRAPHY 232
- Cited by 13 (3 self) – Add To MetaCart
-
A dialectica-like model of linear logic
- categories. In particular there is also a preprint by D. N. Yetter on “Quantales and (Noncommutative) Linear
- Cited by 27 (6 self) – Add To MetaCart

