Functional and Logic Programming
From MaRDI portal
Publication:5308007
DOI10.1007/b96926zbMath1122.68359OpenAlexW2506581943MaRDI QIDQ5308007
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
Quantum computation (81P68) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Reachability analysis of quantum Markov decision processes, Termination of nondeterministic quantum programs, Proof rules for the correctness of quantum programs, Probabilistic bisimulations for quantum processes, Models of quantum computation and quantum programming languages, Quantum walks: a comprehensive review, Quantum loop programs, Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic, Model Checking Omega-regular Properties for Quantum Markov Chains, Quantum implicit computational complexity, A Hierarchy of Quantum Semantics, A Quantum Game Semantics for the Measurement Calculus
