The following pages link to Functional and Logic Programming (Q5308007):
Displaying 14 items.
- Quantum programming languages: a tentative study (Q954406) (← links)
- Quantum loop programs (Q977174) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Quantum walks: a comprehensive review (Q1757875) (← links)
- Models of quantum computation and quantum programming languages (Q2250909) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375) (← links)
- A hierarchy of quantum semantics (Q2864503) (← links)
- A quantum game semantics for the measurement calculus (Q2870204) (← links)
- (Q4508561) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)