A model of intuitionistic affine logic from stable domain theory
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 340-351
- https://doi.org/10.1007/3-540-58201-0_80
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Computational lambda-calculus and monadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Semantics of weakening and contractionAnnals of Pure and Applied Logic, 1994
- A General Adequacy Result for a Linear Functional LanguageBRICS Report Series, 1994
- Some monoidal closed categories of stable domains and event structuresMathematical Structures in Computer Science, 1993
- A term calculus for Intuitionistic Linear LogicPublished by Springer Nature ,1993
- A note on inconsistencies caused by fixpoints in a cartesian closed categoryTheoretical Computer Science, 1990
- Event structuresPublished by Springer Nature ,1987
- Categories for the Working MathematicianPublished by Springer Nature ,1971