2 results
A pragmatic interpretation of substructural logics
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 139-163
-
- Chapter
- Export citation
Subnets of proof-nets in multiplicative linear logic with MIX
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 6 / December 1997
- Published online by Cambridge University Press:
- 01 December 1997, pp. 663-669
-
- Article
- Export citation