|
The geometry of multiplicatives and additives: interaction and orthogonality| old_uid | 9855 |
|---|
| title | The geometry of multiplicatives and additives: interaction and orthogonality |
|---|
| start_date | 2011/04/18 |
|---|
| schedule | 15h30 |
|---|
| online | no |
|---|
| location_info | salle B311 |
|---|
| summary | We present a denotational semantics of multiplicative linear logic based on the geometry of interaction. In that semantics, we can define polymorphism using a construction similar to the one of history-free game semantics. We can also present the standard longtrip criterion of proof-nets as an orthogonality relation in the sense of Hyland and Schalk [HS03], and build a category of orthogonality which provides a fully complete model of MLL (without mix).
Besides we extend these constructions – polymorphism and orthogonality –, to the interpretation of additive connectives. |
|---|
| oncancel | horaire modifié |
|---|
| responsibles | Poibeau |
|---|
| |
|