What is a Categorical Model of Intuitionistic Linear Logic? (1995)

Cached

Download Links

by G.M. Bierman , A \gamma A , Gamma \delta \gamma C , Gamma I \gamma A , Gamma A B \gamma C , B \gamma C
Citations:96 - 5 self