Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953286710> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2953286710 abstract "While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aiming at structured quantum programming. The current work contributes to the semantical study of such languages by providing interaction-based semantics of a functional quantum programming language; the latter is, much like Selinger and Valiron's, based on linear lambda calculus and equipped with features like the ! modality and recursion. The proposed denotational model is the first one that supports the full features of a quantum functional programming language; we prove adequacy of our semantics. The construction of our model is by a series of existing techniques taken from the semantics of classical computation as well as from process theory. The most notable among them is Girard's Geometry of Interaction (GoI), categorically formulated by Abramsky, Haghverdi and Scott. The mathematical genericity of these techniques---largely due to their categorical formulation---is exploited for our move from classical to quantum." @default.
- W2953286710 created "2019-06-27" @default.
- W2953286710 creator A5006816704 @default.
- W2953286710 creator A5013382452 @default.
- W2953286710 date "2016-05-17" @default.
- W2953286710 modified "2023-09-23" @default.
- W2953286710 title "Semantics of Higher-Order Quantum Computation via Geometry of Interaction" @default.
- W2953286710 doi "https://doi.org/10.48550/arxiv.1605.05079" @default.
- W2953286710 hasPublicationYear "2016" @default.
- W2953286710 type Work @default.
- W2953286710 sameAs 2953286710 @default.
- W2953286710 citedByCount "0" @default.
- W2953286710 crossrefType "posted-content" @default.
- W2953286710 hasAuthorship W2953286710A5006816704 @default.
- W2953286710 hasAuthorship W2953286710A5013382452 @default.
- W2953286710 hasBestOaLocation W29532867101 @default.
- W2953286710 hasConcept C105295557 @default.
- W2953286710 hasConcept C121332964 @default.
- W2953286710 hasConcept C135790938 @default.
- W2953286710 hasConcept C136119220 @default.
- W2953286710 hasConcept C156325763 @default.
- W2953286710 hasConcept C168773036 @default.
- W2953286710 hasConcept C184337299 @default.
- W2953286710 hasConcept C190474826 @default.
- W2953286710 hasConcept C199360897 @default.
- W2953286710 hasConcept C202444582 @default.
- W2953286710 hasConcept C207648694 @default.
- W2953286710 hasConcept C33923547 @default.
- W2953286710 hasConcept C41008148 @default.
- W2953286710 hasConcept C42383842 @default.
- W2953286710 hasConcept C43682372 @default.
- W2953286710 hasConcept C58053490 @default.
- W2953286710 hasConcept C62520636 @default.
- W2953286710 hasConcept C80444323 @default.
- W2953286710 hasConcept C84114770 @default.
- W2953286710 hasConceptScore W2953286710C105295557 @default.
- W2953286710 hasConceptScore W2953286710C121332964 @default.
- W2953286710 hasConceptScore W2953286710C135790938 @default.
- W2953286710 hasConceptScore W2953286710C136119220 @default.
- W2953286710 hasConceptScore W2953286710C156325763 @default.
- W2953286710 hasConceptScore W2953286710C168773036 @default.
- W2953286710 hasConceptScore W2953286710C184337299 @default.
- W2953286710 hasConceptScore W2953286710C190474826 @default.
- W2953286710 hasConceptScore W2953286710C199360897 @default.
- W2953286710 hasConceptScore W2953286710C202444582 @default.
- W2953286710 hasConceptScore W2953286710C207648694 @default.
- W2953286710 hasConceptScore W2953286710C33923547 @default.
- W2953286710 hasConceptScore W2953286710C41008148 @default.
- W2953286710 hasConceptScore W2953286710C42383842 @default.
- W2953286710 hasConceptScore W2953286710C43682372 @default.
- W2953286710 hasConceptScore W2953286710C58053490 @default.
- W2953286710 hasConceptScore W2953286710C62520636 @default.
- W2953286710 hasConceptScore W2953286710C80444323 @default.
- W2953286710 hasConceptScore W2953286710C84114770 @default.
- W2953286710 hasLocation W29532867101 @default.
- W2953286710 hasOpenAccess W2953286710 @default.
- W2953286710 hasPrimaryLocation W29532867101 @default.
- W2953286710 hasRelatedWork W1606874744 @default.
- W2953286710 hasRelatedWork W1683412184 @default.
- W2953286710 hasRelatedWork W1855927527 @default.
- W2953286710 hasRelatedWork W2045394797 @default.
- W2953286710 hasRelatedWork W2124146342 @default.
- W2953286710 hasRelatedWork W2533990420 @default.
- W2953286710 hasRelatedWork W2953286710 @default.
- W2953286710 hasRelatedWork W3004745453 @default.
- W2953286710 hasRelatedWork W4287870994 @default.
- W2953286710 hasRelatedWork W783270985 @default.
- W2953286710 isParatext "false" @default.
- W2953286710 isRetracted "false" @default.
- W2953286710 magId "2953286710" @default.
- W2953286710 workType "article" @default.