Quillen model structures, *-autonomous categories and adherence spaces
Linear logic has been intensively studied since its introduction almost twenty years ago. Originally introduced as a proof theory, two distinct semantic traditions have evolved around linear logic: the denotational semantics of linear logic, and the Geometry of Interaction. In this thesis we explor...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
University of Ottawa (Canada)
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/29348 http://dx.doi.org/10.20381/ruor-12908 |