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: | 92 - 5 self |

