Hypercoherences: a strongly stable model of linear logic
- 4 March 1993
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 3 (4) , 365-385
- https://doi.org/10.1017/s0960129500000281
Abstract
We present a new model of classical linear logic based on the notion of strong stability that was introduced recently in a work about sequentiality written jointly with Antonio Bucciarelli.Keywords
This publication has 6 references indexed in Scilit:
- Sequentiality and strong stabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Linear logicTheoretical Computer Science, 1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Categories for the Working MathematicianPublished by Springer Nature ,1971