Interaction graphs: graphings

Research output: Contribution to journalJournal articlepeer-review

  • Thomas Seiller
Original languageEnglish
JournalAnnals of Pure and Applied Logic
Volume168
Issue number2
Pages (from-to)278-320
Number of pages43
ISSN0168-0072
DOIs
Publication statusPublished - Feb 2017

    Research areas

  • Linear logic, Dynamic semantics, Denotational semantics, Interaction graphs, Geometry of interaction, Measurable dynamics

Links

ID: 179528258