Pages that link to "Item:Q2819826"
From MaRDI portal
The following pages link to Algebraic Effects, Linearity, and Quantum Programming Languages (Q2819826):
Displayed 12 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- (Q3384929) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- (Q3385643) (← links)
- (Q5014793) (← links)
- (Q5094148) (← links)
- (Q5109520) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)