Pages that link to "Item:Q3000923"
From MaRDI portal
The following pages link to Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial (Q3000923):
Displayed 6 items.
- Machine semantics (Q959818) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Partially traced categories (Q1940191) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)