Searching for "A Language For Multiplicative-additive Linear Logic." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

A language for multiplicative-additive linear logic
by J. R. B. Cockett, C. A. Pastro — In Proc. Category Theory in Computer Science 2004, ENTCS 122 (2005
…arXiv:math/0404286v1 [math.CT] 16 Apr 2004 A language for multiplicative-additive linear logic ∗ J…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

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