A new connective in natural deduction, and its application to quantum computing (Q5918648): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QML
@@ Property / describes a project that uses: QML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3111235101
@@ Property / OpenAlex ID: W3111235101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+Picturing Quantum Processes
@@ Property / cites work: Picturing Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089014
@@ Property / cites work: Q5089014 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical construction for the computational definition of vector spaces
+Normal rank
@@ Property / cites work @@
+General-elimination stability
@@ Property / cites work: General-elimination stability / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264064
@@ Property / cites work: Q4264064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity and harmony
@@ Property / cites work: Identity and harmony / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:5918648