A coherent differential PCF (Q6178673): Difference between revisions

@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+The Free Exponential Modality of Probabilistic Coherence Spaces
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces as a model of higher-order probabilistic computation
+Normal rank
@@ Property / cites work @@
+Q5089018
@@ Property / cites work: Q5089018 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent differentiation
@@ Property / cites work: Coherent differentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting a Finitary Pi-calculus in Differential Interaction Nets
+Normal rank
@@ Property / cites work @@
+Acyclic Solos and Differential Interaction Nets
@@ Property / cites work: Acyclic Solos and Differential Interaction Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Probabilistic PCF
@@ Property / cites work: Full Abstraction for Probabilistic PCF / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4611384
@@ Property / cites work: Q4611384 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3053106
@@ Property / cites work: Q3053106 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank