Logic programming in a fragment of intuitionistic linear logic
収録刊行物
-
- Information and Computation
-
Information and Computation 110 (2), 327-365, 1994
Information and Computation 110 (2), 327-365, 1994