3 results
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-101
- Print publication:
- March 2002
-
- Article
- Export citation
Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 (1998), pp. 201–222.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, p. 477
- Print publication:
- December 2000
-
- Article
- Export citation
Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-338
- Print publication:
- March 1996
-
- Article
- Export citation