FRINK Linked Data Fragments server

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

• W2891621506 endingPage "966" @default.
• W2891621506 startingPage "941" @default.
• W2891621506 abstract "qPCF is a paradigmatic quantum programming language that extends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent type system. The co-processor is essentially a standard QRAM device, albeit we avoid to store permanently quantum states in between two co-processor’s calls. Despite its quantum features, qPCF retains the classic programming approach of PCF. We introduce qPCF syntax, typing rules, and its operational semantics. We prove fundamental syntactic properties of the system. Moreover, we provide some higher-order examples of circuit encoding." @default.
• W2891621506 created "2018-09-27" @default.
• W2891621506 creator A5018516691 @default.
• W2891621506 creator A5020707353 @default.
• W2891621506 creator A5078201674 @default.
• W2891621506 date "2019-03-13" @default.
• W2891621506 modified "2023-09-29" @default.
• W2891621506 title "QPCF: Higher-Order Languages and Quantum Circuits" @default.
• W2891621506 cites W1485061101 @default.
• W2891621506 cites W1499878068 @default.
• W2891621506 cites W1530995657 @default.
• W2891621506 cites W1537615043 @default.
• W2891621506 cites W1564014701 @default.
• W2891621506 cites W1568187215 @default.
• W2891621506 cites W1944374408 @default.
• W2891621506 cites W1972751916 @default.
• W2891621506 cites W1992587415 @default.
• W2891621506 cites W1999626800 @default.
• W2891621506 cites W2007270285 @default.
• W2891621506 cites W2007542733 @default.
• W2891621506 cites W2014952600 @default.
• W2891621506 cites W2019089676 @default.
• W2891621506 cites W2019573041 @default.
• W2891621506 cites W2052925569 @default.
• W2891621506 cites W2059456146 @default.
• W2891621506 cites W2067794285 @default.
• W2891621506 cites W2084019889 @default.
• W2891621506 cites W2085426595 @default.
• W2891621506 cites W2089565009 @default.
• W2891621506 cites W2102548545 @default.
• W2891621506 cites W2108723183 @default.
• W2891621506 cites W2109463765 @default.
• W2891621506 cites W2124146342 @default.
• W2891621506 cites W2137147061 @default.
• W2891621506 cites W2145862486 @default.
• W2891621506 cites W2148132004 @default.
• W2891621506 cites W2151097168 @default.
• W2891621506 cites W2158605123 @default.
• W2891621506 cites W2160650896 @default.
• W2891621506 cites W2171525267 @default.
• W2891621506 cites W2189603063 @default.
• W2891621506 cites W22667845 @default.
• W2891621506 cites W2276824306 @default.
• W2891621506 cites W2295995314 @default.
• W2891621506 cites W2313962375 @default.
• W2891621506 cites W2314307518 @default.
• W2891621506 cites W2334911029 @default.
• W2891621506 cites W2482129511 @default.
• W2891621506 cites W2503698052 @default.
• W2891621506 cites W2512013866 @default.
• W2891621506 cites W2887888992 @default.
• W2891621506 cites W2912293148 @default.
• W2891621506 cites W2963573740 @default.
• W2891621506 cites W2990961515 @default.
• W2891621506 cites W3092084332 @default.
• W2891621506 cites W3099155063 @default.
• W2891621506 cites W3099196844 @default.
• W2891621506 cites W3101719084 @default.
• W2891621506 cites W3139906032 @default.
• W2891621506 cites W4206504421 @default.
• W2891621506 cites W4232655454 @default.
• W2891621506 cites W48265284 @default.
• W2891621506 doi "https://doi.org/10.1007/s10817-019-09518-y" @default.
• W2891621506 hasPublicationYear "2019" @default.
• W2891621506 type Work @default.
• W2891621506 sameAs 2891621506 @default.
• W2891621506 citedByCount "11" @default.
• W2891621506 countsByYear W28916215062019 @default.
• W2891621506 countsByYear W28916215062020 @default.
• W2891621506 countsByYear W28916215062021 @default.
• W2891621506 countsByYear W28916215062022 @default.
• W2891621506 countsByYear W28916215062023 @default.
• W2891621506 crossrefType "journal-article" @default.
• W2891621506 hasAuthorship W2891621506A5018516691 @default.
• W2891621506 hasAuthorship W2891621506A5020707353 @default.
• W2891621506 hasAuthorship W2891621506A5078201674 @default.
• W2891621506 hasBestOaLocation W28916215062 @default.
• W2891621506 hasConcept C121332964 @default.
• W2891621506 hasConcept C124148022 @default.
• W2891621506 hasConcept C134146338 @default.
• W2891621506 hasConcept C154945302 @default.
• W2891621506 hasConcept C184337299 @default.
• W2891621506 hasConcept C186468114 @default.
• W2891621506 hasConcept C199360897 @default.
• W2891621506 hasConcept C33923547 @default.
• W2891621506 hasConcept C41008148 @default.
• W2891621506 hasConcept C58053490 @default.
• W2891621506 hasConcept C60048249 @default.
• W2891621506 hasConcept C62520636 @default.
• W2891621506 hasConcept C80444323 @default.
• W2891621506 hasConcept C84114770 @default.
• W2891621506 hasConcept C94375191 @default.
• W2891621506 hasConceptScore W2891621506C121332964 @default.
• W2891621506 hasConceptScore W2891621506C124148022 @default.
• W2891621506 hasConceptScore W2891621506C134146338 @default.
• W2891621506 hasConceptScore W2891621506C154945302 @default.
• W2891621506 hasConceptScore W2891621506C184337299 @default.
• W2891621506 hasConceptScore W2891621506C186468114 @default.

• next