The following pages link to Memoryful geometry of interaction (Q4635637):
Displaying 6 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- (Q4972738) (← links)
- (Q5021229) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
