Functional and Logic Programming
From MaRDI portal
Publication:5308007
DOI10.1007/B96926zbMATH Open1122.68359OpenAlexW2506581943MaRDI QIDQ5308007FDOQ5308007
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96926
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Quantum computation (81P68) Functional programming and lambda calculus (68N18)
Cited In (14)
- Quantum programming languages: a tentative study
- Probabilistic bisimulations for quantum processes
- Reachability analysis of quantum Markov decision processes
- Models of quantum computation and quantum programming languages
- Proof rules for the correctness of quantum programs
- Termination of nondeterministic quantum programs
- Quantum walks: a comprehensive review
- Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
- Quantum implicit computational complexity
- A quantum game semantics for the measurement calculus
- Title not available (Why is that?)
- A hierarchy of quantum semantics
- Model Checking Omega-regular Properties for Quantum Markov Chains
- Quantum loop programs
Recommendations
- Towards a quantum programming language 👍 👎
- Quantum programming languages: survey and bibliography 👍 👎
- An Introduction to Quantum Programming in Quipper 👍 👎
- Quantum programming languages: a tentative study 👍 👎
- Selected topics in quantum programming theory 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Functional and Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308007)
