FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533990420> ?p ?o ?g. }

• W2533990420 endingPage "469" @default.
• W2533990420 startingPage "404" @default.
• W2533990420 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.
• W2533990420 created "2016-10-28" @default.
• W2533990420 creator A5006816704 @default.
• W2533990420 creator A5013382452 @default.
• W2533990420 date "2017-02-01" @default.
• W2533990420 modified "2023-10-16" @default.
• W2533990420 title "Semantics of higher-order quantum computation via geometry of interaction" @default.
• W2533990420 cites W1519555209 @default.
• W2533990420 cites W1972751916 @default.
• W2533990420 cites W1973799895 @default.
• W2533990420 cites W1983399101 @default.
• W2533990420 cites W1997143185 @default.
• W2533990420 cites W1999626800 @default.
• W2533990420 cites W2004553747 @default.
• W2533990420 cites W2019573041 @default.
• W2533990420 cites W2024189573 @default.
• W2533990420 cites W2024873396 @default.
• W2533990420 cites W2027591072 @default.
• W2533990420 cites W2034621723 @default.
• W2533990420 cites W2038176982 @default.
• W2533990420 cites W2039270220 @default.
• W2533990420 cites W2042266169 @default.
• W2533990420 cites W2064911842 @default.
• W2533990420 cites W2083886848 @default.
• W2533990420 cites W2088189323 @default.
• W2533990420 cites W2088735483 @default.
• W2533990420 cites W2089565009 @default.
• W2533990420 cites W2096885339 @default.
• W2533990420 cites W2102357532 @default.
• W2533990420 cites W2102548545 @default.
• W2533990420 cites W2108578298 @default.
• W2533990420 cites W2110240249 @default.
• W2533990420 cites W2119440710 @default.
• W2533990420 cites W2119454081 @default.
• W2533990420 cites W2165446401 @default.
• W2533990420 cites W2167575691 @default.
• W2533990420 cites W2911874855 @default.
• W2533990420 cites W2987907651 @default.
• W2533990420 cites W3101634683 @default.
• W2533990420 doi "https://doi.org/10.1016/j.apal.2016.10.010" @default.
• W2533990420 hasPublicationYear "2017" @default.
• W2533990420 type Work @default.
• W2533990420 sameAs 2533990420 @default.
• W2533990420 citedByCount "14" @default.
• W2533990420 countsByYear W25339904202017 @default.
• W2533990420 countsByYear W25339904202019 @default.
• W2533990420 countsByYear W25339904202020 @default.
• W2533990420 countsByYear W25339904202021 @default.
• W2533990420 countsByYear W25339904202022 @default.
• W2533990420 countsByYear W25339904202023 @default.
• W2533990420 crossrefType "journal-article" @default.
• W2533990420 hasAuthorship W2533990420A5006816704 @default.
• W2533990420 hasAuthorship W2533990420A5013382452 @default.
• W2533990420 hasBestOaLocation W25339904202 @default.
• W2533990420 hasConcept C105295557 @default.
• W2533990420 hasConcept C121332964 @default.
• W2533990420 hasConcept C135790938 @default.
• W2533990420 hasConcept C136119220 @default.
• W2533990420 hasConcept C156325763 @default.
• W2533990420 hasConcept C168773036 @default.
• W2533990420 hasConcept C184337299 @default.
• W2533990420 hasConcept C190474826 @default.
• W2533990420 hasConcept C199360897 @default.
• W2533990420 hasConcept C202444582 @default.
• W2533990420 hasConcept C207648694 @default.
• W2533990420 hasConcept C33923547 @default.
• W2533990420 hasConcept C41008148 @default.
• W2533990420 hasConcept C42383842 @default.
• W2533990420 hasConcept C43682372 @default.
• W2533990420 hasConcept C58053490 @default.
• W2533990420 hasConcept C62520636 @default.
• W2533990420 hasConcept C80444323 @default.
• W2533990420 hasConcept C84114770 @default.
• W2533990420 hasConceptScore W2533990420C105295557 @default.
• W2533990420 hasConceptScore W2533990420C121332964 @default.
• W2533990420 hasConceptScore W2533990420C135790938 @default.
• W2533990420 hasConceptScore W2533990420C136119220 @default.
• W2533990420 hasConceptScore W2533990420C156325763 @default.
• W2533990420 hasConceptScore W2533990420C168773036 @default.
• W2533990420 hasConceptScore W2533990420C184337299 @default.
• W2533990420 hasConceptScore W2533990420C190474826 @default.
• W2533990420 hasConceptScore W2533990420C199360897 @default.
• W2533990420 hasConceptScore W2533990420C202444582 @default.
• W2533990420 hasConceptScore W2533990420C207648694 @default.
• W2533990420 hasConceptScore W2533990420C33923547 @default.
• W2533990420 hasConceptScore W2533990420C41008148 @default.
• W2533990420 hasConceptScore W2533990420C42383842 @default.
• W2533990420 hasConceptScore W2533990420C43682372 @default.
• W2533990420 hasConceptScore W2533990420C58053490 @default.
• W2533990420 hasConceptScore W2533990420C62520636 @default.
• W2533990420 hasConceptScore W2533990420C80444323 @default.
• W2533990420 hasConceptScore W2533990420C84114770 @default.
• W2533990420 hasIssue "2" @default.
• W2533990420 hasLocation W25339904201 @default.
• W2533990420 hasLocation W25339904202 @default.
• W2533990420 hasOpenAccess W2533990420 @default.
• W2533990420 hasPrimaryLocation W25339904201 @default.
• W2533990420 hasRelatedWork W1585037119 @default.

• next