Searching for "A brief guide to 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.

A Brief Guide to Linear Logic
by Andre Scedrov — 1993
…A Brief Guide to Linear Logic andre scedrov Department of Mathematics, University…
Cited by 53 (8 self) – Add To MetaCart

Seminar on Linear Logic and Application - Suggested Topics
by Frank Pfenning, G. Plotkin, Logical Frameworks
… Verlag, 1989. [Sce93] A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors…
Add To MetaCart

Computational Aspects of Linear Logic
by Patrick D. Lincoln, D. Wakeling, C. Runciman Linearity, S. Wray, P. Petkov — 1992
…, January 1993. [84] A. Scedrov. A brief guide to linear logic. Bulletin of the European Assoc…
Cited by 13 (3 self) – Add To MetaCart

Showing 1 through 3.

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