Linear logic as logic programming: An abstract
1999 ◽
Vol 227
(1-2)
◽
pp. 185-220
◽
1999 ◽
Vol 9
(3)
◽
pp. 253-286
◽
1994 ◽
Vol 110
(2)
◽
pp. 327-365
◽
2000 ◽
Vol 30
(3)
◽
pp. 3-19
Keyword(s):
1994 ◽
Vol 4
(2)
◽
pp. 175-207
◽
2015 ◽