Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074): Difference between revisions

@@ Property / describes a project that uses @@
+Lolli
@@ Property / describes a project that uses: Lolli / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Beluga
@@ Property / describes a project that uses: Beluga / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HYBRID
@@ Property / describes a project that uses: HYBRID / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Abella
@@ Property / describes a project that uses: Abella / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quipper
@@ Property / describes a project that uses: Quipper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Forest
@@ Property / describes a project that uses: Forest / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2904404870
@@ Property / OpenAlex ID: W2904404870 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03624
@@ Property / arXiv ID: 1812.03624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484329
@@ Property / cites work: Q4484329 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+The representational adequacy of <scp>Hybrid</scp>
+Normal rank
@@ Property / cites work @@
+Q3024831
@@ Property / cites work: Q3024831 / rank @@
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
+Normal rank
@@ Property / cites work @@
+Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
+Normal rank
@@ Property / cites work @@
+Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
+Normal rank
@@ Property / cites work @@
+The Abella Interactive Theorem Prover (System Description)
+Normal rank
@@ Property / cites work @@
+An Overview of QML With a Concrete Implementation in Haskell
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Enriching a Linear/Non-linear Lambda Calculus
@@ Property / cites work: Enriching a Linear/Non-linear Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of metatheory of the Quipper quantum programming language in a linear logic
+Normal rank
@@ Property / cites work @@
+Formal meta-level analysis framework for quantum programming languages
+Normal rank
@@ Property / cites work @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650578
@@ Property / cites work: Q4650578 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF
+Normal rank
@@ Property / cites work @@
+Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Q2763630
@@ Property / cites work: Q2763630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384929
@@ Property / cites work: Q3384929 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / Wikidata QID @@
+Q127635232
@@ Property / Wikidata QID: Q127635232 / rank @@
+Normal rank