Formal meta-level analysis framework for quantum programming languages (Q2333324): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2018.10.012
@@ Property / DOI: 10.1016/j.entcs.2018.10.012 / rank @@
-Normal rank
@@ Property / author @@
+Amy P. Felty
@@ Property / author: Amy P. Felty / 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 @@
+YALLA
@@ Property / describes a project that uses: YALLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+qGCL
@@ Property / describes a project that uses: qGCL / 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 @@
+Quipper
@@ Property / describes a project that uses: Quipper / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2018.10.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2899277158
@@ Property / OpenAlex ID: W2899277158 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317503
@@ Property / Wikidata QID: Q113317503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484329
@@ Property / cites work: Q4484329 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Formalized meta-theory of sequent calculi for substructural logics
+Normal rank
@@ Property / cites work @@
+Parametric higher-order abstract syntax for mechanized semantics
+Normal rank
@@ Property / cites work @@
+The representational adequacy of <scp>Hybrid</scp>
+Normal rank
@@ Property / cites work @@
+Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
+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 @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Q3384929
@@ Property / cites work: Q3384929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721095
@@ Property / cites work: Q2721095 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+A Double Effect λ-calculus for Quantum Computation
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2018.10.012
@@ Property / DOI: 10.1016/J.ENTCS.2018.10.012 / rank @@
+Normal rank