From geometry of interaction to denotational semantics
From MaRDI portal
Recommendations
- Computer Science Logic
- Towards a typed geometry of interaction
- scientific article; zbMATH DE number 1390090
- Geometry of interaction and the dynamics of proof reduction: a tutorial
- Geometry of Interaction and linear combinatory algebras
- From geometric semantics to asynchronous computability
- On the relation of interaction semantics to continuations and defunctionalization
- A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
- Automata, Languages and Programming
- A categorical model for the geometry of interaction
Cited in
(14)- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- scientific article; zbMATH DE number 1722659 (Why is no real title available?)
- A modified GoI interpretation for a linear functional programming language and its adequacy
- Strict geometry of interaction graph models
- scientific article; zbMATH DE number 4099289 (Why is no real title available?)
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects
- Geometry of Interaction and linear combinatory algebras
- Musings around the geometry of interaction, and coherence
- Proofs as Polynomials
- Automata, Languages and Programming
- Types for Proofs and Programs
- A categorical model for the geometry of interaction
This page was built for publication: From geometry of interaction to denotational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849878)
