The Carcinogenic Example
This paper will introduce a new model for Linear Logic, the IE model (I for Internal E for External). Intuitively the model assumes there is a global environment which is divided up into an internal resource and an external resource. Such an assumption makes for an elementary definition of linear ne...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1997.
|
| Subjects: | |
| Online Access: | Get fulltext |