A categorical approach to linear logic, geometry of proofs and full completeness.
The major contributions of this thesis are in the areas of Geometry of Interaction (GoI) and full completeness for models of linear logic. Geometry of interaction was introduced by Girard in the late 80's. It provides a new semantics of computation that captures the dynamical aspects of computa...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
University of Ottawa (Canada)
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/9246 http://dx.doi.org/10.20381/ruor-16218 |