A mixed linear and non-linear logic: Proofs, terms and models
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 121-135
- https://doi.org/10.1007/bfb0022251
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A mixed linear and non-linear logic: Proofs, terms and modelsPublished by Springer Nature ,1995
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- A taste of linear logicPublished by Springer Nature ,1993
- Linear λ-calculus and categorical models revisitedLecture Notes in Computer Science, 1993
- A term calculus for Intuitionistic Linear LogicPublished by Springer Nature ,1993
- Notions of computation and monadsInformation and Computation, 1991
- Linear logicTheoretical Computer Science, 1987