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

by
G.M. Bierman
,
A \gamma A
,
Gamma \delta \gamma C
,
Gamma I \gamma A
,
Gamma A B \gamma C
,
B \gamma C

Citations: | 110 - 5 self |