Syntactic Control of Interference Revisited
Open Access
- 1 January 1995
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 1, 447-486
- https://doi.org/10.1016/s1571-0661(04)00026-x
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Linear logic and interference controlPublished by Springer Nature ,2005
- Global state considered unnecessary: An introduction to object-based semanticsHigher-Order and Symbolic Computation, 1996
- State in HaskellHigher-Order and Symbolic Computation, 1995
- Parametricity and local variablesJournal of the ACM, 1995
- What is a categorical model of Intuitionistic Linear Logic?Published by Springer Nature ,1995
- A mixed linear and non-linear logic: Proofs, terms and modelsPublished by Springer Nature ,1995
- A model for syntactic control of interferenceMathematical Structures in Computer Science, 1993
- A term calculus for Intuitionistic Linear LogicPublished by Springer Nature ,1993
- A new type assignment for λ-termsArchive for Mathematical Logic, 1978
- Doctrinal adjunctionLecture Notes in Mathematics, 1974