Linear Logic : Its syntax and semantics

収録刊行物

• Advances in Linear Logic, 1995

  Advances in Linear Logic, 1995 1995

  Cambridge University Press