A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669): Difference between revisions

@@ 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.2019.07.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2969706276
@@ Property / OpenAlex ID: W2969706276 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A System F accounting for scalars
@@ Property / cites work: A System F accounting for scalars / rank @@
+Normal rank
@@ Property / cites work @@
+The vectorial \(\lambda\)-calculus
@@ Property / cites work: The vectorial \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Quantum Superpositions and Measurement
@@ Property / cites work: Typing Quantum Superpositions and Measurement / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity in the Non-deterministic Call-by-Value Setting
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank