| NCID | DA09070195 |
| 名称(HDNG) | Linear Logic Workshop |
| 生没年(DATE) | 1993 |
| 注記(NOTE) | Linear logic, 1995: CIP pref. (Linear Logic Workshop held 6/14-18/93 at the Mathematical Sciences Institute, Cornell University)
SRC:Advances in Linear logic / edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier(Cambridge University Press, c1995) |
| LCAID | 95036771 |