Pages that link to "Item:Q5466507"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466507):
Displaying 10 items.
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- New foundations for the geometry of interaction (Q1327394) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Geometrical semantics for linear logic (multiplicative fragment) (Q2500490) (← links)
- From geometry of interaction to denotational semantics (Q2849878) (← links)
- On the categorical semantics of elementary linear logic (Q3646423) (← links)
- Types for Proofs and Programs (Q5712308) (← links)
- Representation of partial traces (Q5971391) (← links)
- (Q6168444) (← links)