A new constructive logic: classic logic
- 1 November 1991
- journal article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 1 (3) , 255-296
- https://doi.org/10.1017/s0960129500001328
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- Linear logicTheoretical Computer Science, 1987