Interaction graphs: graphings
Research output: Contribution to journal › Journal article › peer-review
Original language | English |
---|---|
Journal | Annals of Pure and Applied Logic |
Volume | 168 |
Issue number | 2 |
Pages (from-to) | 278-320 |
Number of pages | 43 |
ISSN | 0168-0072 |
DOIs | |
Publication status | Published - Feb 2017 |
- Linear logic, Dynamic semantics, Denotational semantics, Interaction graphs, Geometry of interaction, Measurable dynamics
Research areas
Links
- http://arxiv.org/pdf/1405.6331
Submitted manuscript
ID: 179528258