Searching for "What is a Categorical Model of Intuitionistic Linear Logic?" – 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.

What is a Categorical Model of Intuitionistic Linear Logic?
by G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C — 1995
…What is a Categorical Model of Intuitionistic Linear Logic? G.M. Bierman University of Cambridge…
Cited by 85 (5 self) – Add To MetaCart

A Categorical Analysis of Multi-Level Languages (Extended Abstract)
by Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard — 1999
… an elegant definition of what is a categorical model for intuitionistic linear logic (see [1, 2, 3]). We…
Cited by 9 (6 self) – Add To MetaCart

Showing 1 through 2.

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