Searching for "A Classical Linear lambda-Calculus." – 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 Classical Linear &lambda;-calculus
by G.M. Bierman — 1997
…A Classical Linear -calculus G.M. Bierman Gonville and Caius College, Cambridge. England…
Cited by 8 (0 self) – Add To MetaCart

Towards a Classical Linear &lambda;-calculus
by G.M. Bierman — 1996 — PROC. OF THE TOKYO CONFERENCE ON LINEAR LOGIC
…://www.elsevier.nl/locate/entcs/volume3.html 13 pages Towards a Classical Linear -calculus (Preliminary Report) G.M. Bierman Gonville…
Add To MetaCart

Showing 1 through 2.

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