The following pages link to (Q2778827):
Displaying 7 items.
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- (Q4580325) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5092412) (← links)
