Linear Logic : Its syntax and semantics
収録刊行物
-
- Advances in Linear Logic, 1995
-
Advances in Linear Logic, 1995 1995
Cambridge University Press
Advances in Linear Logic, 1995 1995
Cambridge University Press