FRINK Linked Data Fragments server

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

• W2206248100 abstract "The objective of this thesis is to develop a semantics for higher-order quantum information.Following the work done in the author's M.Sc. thesis, we study a lambda calculus for quantum computation with classical control. The language features two important properties. The first one, arising from the so-called no-cloning theorem of quantum computation, is the need for a distinction between duplicable and non-duplicable elements. For keeping track of duplicability at higher order, we use a type system inspired by the resource-sensitive linear logic. The second important aspect is the probability inherent to measurement, the only operation for retrieving classical data from quantum data. This forces us into choosing a reduction strategy for being able to define an operational semantics.We address the question of a denotational semantics in two respects. First, we restrict the study to the strictly linear aspect of the language. Doing so, we suppress the need for distinguishing between duplicable and non-duplicable elements and we can focus on the description of quantum features at higher order. Using the category of completely positive maps as a framework, we build a fully abstract denotational model of the strictly linear fragment of the language.The study of the full language is more demanding. For dealing with the probabilistic aspect of the language, we use a method inspired by Moggi and build a computational model with a distinction between values and computations. For the distinction between duplicability and non-duplicability in the calculus, we adapt Bierman's linear category, where the duplication is considered as a comonad with specific properties. The resulting model is what we call a linear category for duplication. Finally, we only focus on the fragment of the language that contains the aforementioned elements, and remove the classical Boolean and quantum Boolean features to get a generic computational linear lambda-calculus. In this idealized setting, we show that such a language have a full and complete interpretation in a linear category for duplication." @default.
• W2206248100 created "2016-06-24" @default.
• W2206248100 creator A5065743601 @default.
• W2206248100 date "2008-01-01" @default.
• W2206248100 modified "2023-09-25" @default.
• W2206248100 title "Semantics for a higher-order functional programming language for quantum computation" @default.
• W2206248100 cites W1519555209 @default.
• W2206248100 cites W1532754343 @default.
• W2206248100 cites W1537615043 @default.
• W2206248100 cites W1554569991 @default.
• W2206248100 cites W1557561422 @default.
• W2206248100 cites W1560680014 @default.
• W2206248100 cites W1570171385 @default.
• W2206248100 cites W1592122327 @default.
• W2206248100 cites W1597330895 @default.
• W2206248100 cites W1604953957 @default.
• W2206248100 cites W1605806361 @default.
• W2206248100 cites W1627439680 @default.
• W2206248100 cites W1631356911 @default.
• W2206248100 cites W1950967123 @default.
• W2206248100 cites W1954168420 @default.
• W2206248100 cites W1977898832 @default.
• W2206248100 cites W1982928587 @default.
• W2206248100 cites W1986407511 @default.
• W2206248100 cites W1997143185 @default.
• W2206248100 cites W1999626800 @default.
• W2206248100 cites W2007542733 @default.
• W2206248100 cites W2008699979 @default.
• W2206248100 cites W2012968289 @default.
• W2206248100 cites W2030942926 @default.
• W2206248100 cites W2035993353 @default.
• W2206248100 cites W2049471987 @default.
• W2206248100 cites W2064622659 @default.
• W2206248100 cites W2077767673 @default.
• W2206248100 cites W2085426595 @default.
• W2206248100 cites W2089549471 @default.
• W2206248100 cites W2090319048 @default.
• W2206248100 cites W2091161233 @default.
• W2206248100 cites W2101088258 @default.
• W2206248100 cites W2101556801 @default.
• W2206248100 cites W2110240249 @default.
• W2206248100 cites W2116102644 @default.
• W2206248100 cites W2126160338 @default.
• W2206248100 cites W2131283815 @default.
• W2206248100 cites W2132734990 @default.
• W2206248100 cites W2145482038 @default.
• W2206248100 cites W2145862486 @default.
• W2206248100 cites W2148132004 @default.
• W2206248100 cites W2148761448 @default.
• W2206248100 cites W2151614365 @default.
• W2206248100 cites W2152013675 @default.
• W2206248100 cites W2154536801 @default.
• W2206248100 cites W2156876717 @default.
• W2206248100 cites W2178993149 @default.
• W2206248100 cites W2291724690 @default.
• W2206248100 cites W2323777246 @default.
• W2206248100 cites W2325612495 @default.
• W2206248100 cites W2999049254 @default.
• W2206248100 cites W3007889862 @default.
• W2206248100 cites W3011907935 @default.
• W2206248100 cites W53839316 @default.
• W2206248100 cites W58260654 @default.
• W2206248100 cites W159920301 @default.
• W2206248100 cites W2580224894 @default.
• W2206248100 doi "https://doi.org/10.20381/ruor-19805" @default.
• W2206248100 hasPublicationYear "2008" @default.
• W2206248100 type Work @default.
• W2206248100 sameAs 2206248100 @default.
• W2206248100 citedByCount "5" @default.
• W2206248100 countsByYear W22062481002013 @default.
• W2206248100 countsByYear W22062481002019 @default.
• W2206248100 countsByYear W22062481002021 @default.
• W2206248100 crossrefType "dissertation" @default.
• W2206248100 hasAuthorship W2206248100A5065743601 @default.
• W2206248100 hasConcept C121332964 @default.
• W2206248100 hasConcept C135790938 @default.
• W2206248100 hasConcept C136119220 @default.
• W2206248100 hasConcept C154945302 @default.
• W2206248100 hasConcept C156325763 @default.
• W2206248100 hasConcept C184337299 @default.
• W2206248100 hasConcept C199360897 @default.
• W2206248100 hasConcept C202444582 @default.
• W2206248100 hasConcept C207648694 @default.
• W2206248100 hasConcept C28077239 @default.
• W2206248100 hasConcept C33923547 @default.
• W2206248100 hasConcept C41008148 @default.
• W2206248100 hasConcept C49937458 @default.
• W2206248100 hasConcept C58053490 @default.
• W2206248100 hasConcept C62520636 @default.
• W2206248100 hasConcept C80444323 @default.
• W2206248100 hasConcept C84114770 @default.
• W2206248100 hasConcept C9672783 @default.
• W2206248100 hasConceptScore W2206248100C121332964 @default.
• W2206248100 hasConceptScore W2206248100C135790938 @default.
• W2206248100 hasConceptScore W2206248100C136119220 @default.
• W2206248100 hasConceptScore W2206248100C154945302 @default.
• W2206248100 hasConceptScore W2206248100C156325763 @default.
• W2206248100 hasConceptScore W2206248100C184337299 @default.
• W2206248100 hasConceptScore W2206248100C199360897 @default.
• W2206248100 hasConceptScore W2206248100C202444582 @default.

• next