Matches in SemOpenAlex for { <https://semopenalex.org/work/W2334911029> ?p ?o ?g. }
- W2334911029 endingPage "1195" @default.
- W2334911029 startingPage "1107" @default.
- W2334911029 abstract "In this paper, we propose an approach to quantum λ-calculi. The ‘quantum data-classical control’ paradigm is considered. Starting from a measurement-free untyped quantum λ-calculus called Q , we will study standard properties such as confluence and subject reduction, and some good quantum properties. We will focus on the expressive power, analysing the relationship with other quantum computational models. Successively, we will add an explicit measurement operator to Q . On the resulting calculus, called Q *, we will propose a complete study of reduction sequences regardless of their finiteness, proving confluence results. Moreover, since the stronger motivation behind quantum computing is the research of new results in computational complexity, we will also propose a calculus which captures the three classes of quantum polytime complexity, showing an ICC-like approach in the quantum setting." @default.
- W2334911029 created "2016-06-24" @default.
- W2334911029 creator A5020707353 @default.
- W2334911029 date "2014-11-17" @default.
- W2334911029 modified "2023-10-18" @default.
- W2334911029 title "On quantum lambda calculi: a foundational perspective" @default.
- W2334911029 cites W1479772898 @default.
- W2334911029 cites W1485061101 @default.
- W2334911029 cites W1499878068 @default.
- W2334911029 cites W1530995657 @default.
- W2334911029 cites W1537615043 @default.
- W2334911029 cites W1563480347 @default.
- W2334911029 cites W1856607635 @default.
- W2334911029 cites W1954168420 @default.
- W2334911029 cites W1964062928 @default.
- W2334911029 cites W1969548989 @default.
- W2334911029 cites W1971256104 @default.
- W2334911029 cites W1972751916 @default.
- W2334911029 cites W1986407511 @default.
- W2334911029 cites W1992587415 @default.
- W2334911029 cites W1993688167 @default.
- W2334911029 cites W1999626800 @default.
- W2334911029 cites W2015931928 @default.
- W2334911029 cites W2028406173 @default.
- W2334911029 cites W2034964549 @default.
- W2334911029 cites W2049471987 @default.
- W2334911029 cites W2057183321 @default.
- W2334911029 cites W2084019889 @default.
- W2334911029 cites W2085426595 @default.
- W2334911029 cites W2086456560 @default.
- W2334911029 cites W2089565009 @default.
- W2334911029 cites W2090097007 @default.
- W2334911029 cites W2092554941 @default.
- W2334911029 cites W2096885339 @default.
- W2334911029 cites W2099351760 @default.
- W2334911029 cites W2099691160 @default.
- W2334911029 cites W2109463765 @default.
- W2334911029 cites W2110240249 @default.
- W2334911029 cites W2121082108 @default.
- W2334911029 cites W2132938661 @default.
- W2334911029 cites W2145862486 @default.
- W2334911029 cites W2148132004 @default.
- W2334911029 cites W2151097168 @default.
- W2334911029 cites W2158015668 @default.
- W2334911029 cites W2161327939 @default.
- W2334911029 cites W2168676717 @default.
- W2334911029 cites W2170338123 @default.
- W2334911029 cites W2179731956 @default.
- W2334911029 cites W2189603063 @default.
- W2334911029 cites W2501306560 @default.
- W2334911029 cites W2503698052 @default.
- W2334911029 cites W2911865844 @default.
- W2334911029 cites W3092084332 @default.
- W2334911029 cites W3099155063 @default.
- W2334911029 cites W3099196844 @default.
- W2334911029 cites W3102357854 @default.
- W2334911029 cites W3105690832 @default.
- W2334911029 cites W3111297213 @default.
- W2334911029 cites W3123171335 @default.
- W2334911029 cites W4214486323 @default.
- W2334911029 cites W4293163450 @default.
- W2334911029 cites W4298227433 @default.
- W2334911029 cites W91254028 @default.
- W2334911029 cites W938235216 @default.
- W2334911029 cites W2062136577 @default.
- W2334911029 doi "https://doi.org/10.1017/s0960129514000425" @default.
- W2334911029 hasPublicationYear "2014" @default.
- W2334911029 type Work @default.
- W2334911029 sameAs 2334911029 @default.
- W2334911029 citedByCount "23" @default.
- W2334911029 countsByYear W23349110292015 @default.
- W2334911029 countsByYear W23349110292017 @default.
- W2334911029 countsByYear W23349110292018 @default.
- W2334911029 countsByYear W23349110292019 @default.
- W2334911029 countsByYear W23349110292020 @default.
- W2334911029 countsByYear W23349110292021 @default.
- W2334911029 countsByYear W23349110292023 @default.
- W2334911029 crossrefType "journal-article" @default.
- W2334911029 hasAuthorship W2334911029A5020707353 @default.
- W2334911029 hasConcept C104317684 @default.
- W2334911029 hasConcept C118615104 @default.
- W2334911029 hasConcept C121332964 @default.
- W2334911029 hasConcept C12713177 @default.
- W2334911029 hasConcept C135790938 @default.
- W2334911029 hasConcept C136119220 @default.
- W2334911029 hasConcept C137019171 @default.
- W2334911029 hasConcept C142156749 @default.
- W2334911029 hasConcept C154945302 @default.
- W2334911029 hasConcept C158448853 @default.
- W2334911029 hasConcept C17020691 @default.
- W2334911029 hasConcept C185592680 @default.
- W2334911029 hasConcept C199343813 @default.
- W2334911029 hasConcept C199360897 @default.
- W2334911029 hasConcept C202444582 @default.
- W2334911029 hasConcept C2777212361 @default.
- W2334911029 hasConcept C2777686260 @default.
- W2334911029 hasConcept C33923547 @default.
- W2334911029 hasConcept C41008148 @default.