Searching for "A Uniform Proof-Theoretic Investigation of Linear Logic Programming." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A Uniform Proof-Theoretic Investigation Of Linear Logic Programming
by J.A. Harland, D. J. Pym — 1994
…a uniform proof-theoretic investigation of linear logic programming J.A. Harland D.J. Pym…
Cited by 74 (22 self) – Add To MetaCart

Seminar on Linear Logic and Application - Suggested Topics
by Frank Pfenning, G. Plotkin, Logical Frameworks
…. Pym. A uniform proof-theoretic investigation of linear logic programming. Journal of Logic…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB