The following pages link to (Q4650586):
Displaying 6 items.
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- Interaction graphs: additives (Q892169) (← links)
- Effectible residuated lattices and \(n\)-th roots (Q983038) (← links)
- Extensions of states on MV-quantales (Q1759621) (← links)
