Pages that link to "Item:Q2849878"
From MaRDI portal
The following pages link to From geometry of interaction to denotational semantics (Q2849878):
Displaying 8 items.
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- (Q2778827) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- Automata, Languages and Programming (Q5466507) (← links)
- Types for Proofs and Programs (Q5712308) (← links)