Matches in SemOpenAlex for { <https://semopenalex.org/work/W2795920969> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2795920969 abstract "One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties. This perspective suggests that, even in the case of quantum algorithms, the control flow notions of sequencing, conditionals, loops, and recursion are entirely classical. There is however, another notion of control flow, that is itself quantum. The notion of quantum conditional expression is reasonably well-understood: the execution of the two expressions becomes itself a superposition of executions. The quantum counterpart of loops and recursion is however not believed to be meaningful in its most general form. In this paper, we argue that, under the right circumstances, a reasonable notion of quantum loops and recursion is possible. To this aim, we first propose a classical, typed, reversible language with lists and fixpoints. We then extend this language to the closed quantum domain (without measurements) by allowing linear combinations of terms and restricting fixpoints to structurally recursive fixpoints whose termination proofs match the proofs of convergence of sequences in infinite-dimensional Hilbert spaces. We additionally give an operational semantics for the quantum language in the spirit of algebraic lambda-calculi and illustrate its expressiveness by modeling several common unitary operations." @default.
- W2795920969 created "2018-04-13" @default.
- W2795920969 creator A5006519176 @default.
- W2795920969 creator A5065743601 @default.
- W2795920969 creator A5084476883 @default.
- W2795920969 date "2018-04-03" @default.
- W2795920969 modified "2023-09-27" @default.
- W2795920969 title "From Symmetric Pattern-Matching to Quantum Control (Extended Version)" @default.
- W2795920969 cites W1480904389 @default.
- W2795920969 cites W1554598184 @default.
- W2795920969 cites W1631356911 @default.
- W2795920969 cites W1999626800 @default.
- W2795920969 cites W2049471987 @default.
- W2795920969 cites W2110240249 @default.
- W2795920969 cites W2125182723 @default.
- W2795920969 cites W2151097168 @default.
- W2795920969 cites W21537352 @default.
- W2795920969 cites W2160347025 @default.
- W2795920969 cites W2513689028 @default.
- W2795920969 cites W294073838 @default.
- W2795920969 cites W2963865229 @default.
- W2795920969 hasPublicationYear "2018" @default.
- W2795920969 type Work @default.
- W2795920969 sameAs 2795920969 @default.
- W2795920969 citedByCount "2" @default.
- W2795920969 countsByYear W27959209692020 @default.
- W2795920969 countsByYear W27959209692021 @default.
- W2795920969 crossrefType "posted-content" @default.
- W2795920969 hasAuthorship W2795920969A5006519176 @default.
- W2795920969 hasAuthorship W2795920969A5065743601 @default.
- W2795920969 hasAuthorship W2795920969A5084476883 @default.
- W2795920969 hasConcept C108710211 @default.
- W2795920969 hasConcept C11413529 @default.
- W2795920969 hasConcept C121332964 @default.
- W2795920969 hasConcept C136119220 @default.
- W2795920969 hasConcept C160191386 @default.
- W2795920969 hasConcept C168773036 @default.
- W2795920969 hasConcept C190474826 @default.
- W2795920969 hasConcept C199360897 @default.
- W2795920969 hasConcept C202444582 @default.
- W2795920969 hasConcept C2524010 @default.
- W2795920969 hasConcept C33923547 @default.
- W2795920969 hasConcept C41008148 @default.
- W2795920969 hasConcept C43682372 @default.
- W2795920969 hasConcept C62520636 @default.
- W2795920969 hasConcept C80444323 @default.
- W2795920969 hasConcept C84114770 @default.
- W2795920969 hasConceptScore W2795920969C108710211 @default.
- W2795920969 hasConceptScore W2795920969C11413529 @default.
- W2795920969 hasConceptScore W2795920969C121332964 @default.
- W2795920969 hasConceptScore W2795920969C136119220 @default.
- W2795920969 hasConceptScore W2795920969C160191386 @default.
- W2795920969 hasConceptScore W2795920969C168773036 @default.
- W2795920969 hasConceptScore W2795920969C190474826 @default.
- W2795920969 hasConceptScore W2795920969C199360897 @default.
- W2795920969 hasConceptScore W2795920969C202444582 @default.
- W2795920969 hasConceptScore W2795920969C2524010 @default.
- W2795920969 hasConceptScore W2795920969C33923547 @default.
- W2795920969 hasConceptScore W2795920969C41008148 @default.
- W2795920969 hasConceptScore W2795920969C43682372 @default.
- W2795920969 hasConceptScore W2795920969C62520636 @default.
- W2795920969 hasConceptScore W2795920969C80444323 @default.
- W2795920969 hasConceptScore W2795920969C84114770 @default.
- W2795920969 hasLocation W27959209691 @default.
- W2795920969 hasOpenAccess W2795920969 @default.
- W2795920969 hasPrimaryLocation W27959209691 @default.
- W2795920969 hasRelatedWork W1504224784 @default.
- W2795920969 hasRelatedWork W1544467611 @default.
- W2795920969 hasRelatedWork W1602859993 @default.
- W2795920969 hasRelatedWork W2005587022 @default.
- W2795920969 hasRelatedWork W2035561341 @default.
- W2795920969 hasRelatedWork W2059456146 @default.
- W2795920969 hasRelatedWork W2135287414 @default.
- W2795920969 hasRelatedWork W2139616706 @default.
- W2795920969 hasRelatedWork W2232523289 @default.
- W2795920969 hasRelatedWork W2305271820 @default.
- W2795920969 hasRelatedWork W2907351305 @default.
- W2795920969 hasRelatedWork W2942964520 @default.
- W2795920969 hasRelatedWork W2947285303 @default.
- W2795920969 hasRelatedWork W2950299681 @default.
- W2795920969 hasRelatedWork W2951572270 @default.
- W2795920969 hasRelatedWork W2981732651 @default.
- W2795920969 hasRelatedWork W304883577 @default.
- W2795920969 hasRelatedWork W3093815185 @default.
- W2795920969 hasRelatedWork W3115997370 @default.
- W2795920969 hasRelatedWork W2184404033 @default.
- W2795920969 isParatext "false" @default.
- W2795920969 isRetracted "false" @default.
- W2795920969 magId "2795920969" @default.
- W2795920969 workType "article" @default.