MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Quantales and (Noncommutative) Linear Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Calculus for Access Control in Distributed Systems
by M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner — 1991
… 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
by Patrick D. Lincoln, D. Wakeling, C. Runciman Linearity, S. Wray, P. Petkov — 1992
…. 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
by Valeria C. V. De Paiva — 1989 — In Proc. Conf. on Category Theory and Computer Science, LNCS 389
… 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

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB