FRINK Linked Data Fragments server

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

• W2904404870 abstract "We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the core of Quipper. Quipper is a quantum programming language under active development and recently has gained much popularity among the quantum computing communities. Hybrid is a system that is designed to support the use of higher-order abstract syntax for representing and reasoning about formal systems implemented in the Coq Proof Assistant. In this work, we extend the system with a linear specification logic (SL) in order to reason about the linear type system of Quipper. To this end, we formalize the semantics of Proto-Quipper by encoding the typing and evaluation rules in the SL, and prove type soundness." @default.
• W2904404870 created "2018-12-22" @default.
• W2904404870 creator A5074297675 @default.
• W2904404870 creator A5090020170 @default.
• W2904404870 date "2019-06-22" @default.
• W2904404870 modified "2023-09-23" @default.
• W2904404870 title "Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic" @default.
• W2904404870 cites W1532839410 @default.
• W2904404870 cites W1536129331 @default.
• W2904404870 cites W1551936078 @default.
• W2904404870 cites W1568176286 @default.
• W2904404870 cites W1586302513 @default.
• W2904404870 cites W1588934256 @default.
• W2904404870 cites W1972751916 @default.
• W2904404870 cites W1974190112 @default.
• W2904404870 cites W1992587415 @default.
• W2904404870 cites W2002039618 @default.
• W2904404870 cites W2009464583 @default.
• W2904404870 cites W2013542353 @default.
• W2904404870 cites W2040807747 @default.
• W2904404870 cites W2099521332 @default.
• W2904404870 cites W2106458801 @default.
• W2904404870 cites W2109463765 @default.
• W2904404870 cites W2140849218 @default.
• W2904404870 cites W2145862486 @default.
• W2904404870 cites W2158734104 @default.
• W2904404870 cites W2219497026 @default.
• W2904404870 cites W2334911029 @default.
• W2904404870 cites W2483224809 @default.
• W2904404870 cites W2517797773 @default.
• W2904404870 cites W2610208837 @default.
• W2904404870 cites W2792039802 @default.
• W2904404870 cites W2899277158 @default.
• W2904404870 cites W2952568606 @default.
• W2904404870 cites W3102773744 @default.
• W2904404870 cites W3105653906 @default.
• W2904404870 cites W3181070739 @default.
• W2904404870 cites W4206717895 @default.
• W2904404870 cites W4289760920 @default.
• W2904404870 doi "https://doi.org/10.1007/s10817-019-09527-x" @default.
• W2904404870 hasPublicationYear "2019" @default.
• W2904404870 type Work @default.
• W2904404870 sameAs 2904404870 @default.
• W2904404870 citedByCount "7" @default.
• W2904404870 countsByYear W29044048702019 @default.
• W2904404870 countsByYear W29044048702020 @default.
• W2904404870 countsByYear W29044048702021 @default.
• W2904404870 countsByYear W29044048702022 @default.
• W2904404870 crossrefType "journal-article" @default.
• W2904404870 hasAuthorship W2904404870A5074297675 @default.
• W2904404870 hasAuthorship W2904404870A5090020170 @default.
• W2904404870 hasBestOaLocation W29044048702 @default.
• W2904404870 hasConcept C128838566 @default.
• W2904404870 hasConcept C135790938 @default.
• W2904404870 hasConcept C142156749 @default.
• W2904404870 hasConcept C154945302 @default.
• W2904404870 hasConcept C18903297 @default.
• W2904404870 hasConcept C199360897 @default.
• W2904404870 hasConcept C20528804 @default.
• W2904404870 hasConcept C2777299769 @default.
• W2904404870 hasConcept C28077239 @default.
• W2904404870 hasConcept C39387531 @default.
• W2904404870 hasConcept C39920170 @default.
• W2904404870 hasConcept C41008148 @default.
• W2904404870 hasConcept C60048249 @default.
• W2904404870 hasConcept C80444323 @default.
• W2904404870 hasConcept C86803240 @default.
• W2904404870 hasConcept C93682546 @default.
• W2904404870 hasConceptScore W2904404870C128838566 @default.
• W2904404870 hasConceptScore W2904404870C135790938 @default.
• W2904404870 hasConceptScore W2904404870C142156749 @default.
• W2904404870 hasConceptScore W2904404870C154945302 @default.
• W2904404870 hasConceptScore W2904404870C18903297 @default.
• W2904404870 hasConceptScore W2904404870C199360897 @default.
• W2904404870 hasConceptScore W2904404870C20528804 @default.
• W2904404870 hasConceptScore W2904404870C2777299769 @default.
• W2904404870 hasConceptScore W2904404870C28077239 @default.
• W2904404870 hasConceptScore W2904404870C39387531 @default.
• W2904404870 hasConceptScore W2904404870C39920170 @default.
• W2904404870 hasConceptScore W2904404870C41008148 @default.
• W2904404870 hasConceptScore W2904404870C60048249 @default.
• W2904404870 hasConceptScore W2904404870C80444323 @default.
• W2904404870 hasConceptScore W2904404870C86803240 @default.
• W2904404870 hasConceptScore W2904404870C93682546 @default.
• W2904404870 hasLocation W29044048701 @default.
• W2904404870 hasLocation W29044048702 @default.
• W2904404870 hasOpenAccess W2904404870 @default.
• W2904404870 hasPrimaryLocation W29044048701 @default.
• W2904404870 hasRelatedWork W10327757 @default.
• W2904404870 hasRelatedWork W1032800 @default.
• W2904404870 hasRelatedWork W12053707 @default.
• W2904404870 hasRelatedWork W13548387 @default.
• W2904404870 hasRelatedWork W14074199 @default.
• W2904404870 hasRelatedWork W1863899 @default.
• W2904404870 hasRelatedWork W327400 @default.
• W2904404870 hasRelatedWork W8308374 @default.
• W2904404870 hasRelatedWork W8711048 @default.
• W2904404870 hasRelatedWork W9154768 @default.
• W2904404870 isParatext "false" @default.
• W2904404870 isRetracted "false" @default.

• next