Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2011.02.001
@@ Property / DOI: 10.1016/j.ic.2011.02.001 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5919042
@@ Property / zbMATH DE Number: 5919042 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lambda-calculus
@@ Property / zbMATH Keywords: lambda-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+PCF
@@ Property / zbMATH Keywords: PCF / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+denotational semantics
@@ Property / zbMATH Keywords: denotational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic models
@@ Property / zbMATH Keywords: probabilistic models / 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.ic.2011.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2102548545
@@ Property / OpenAlex ID: W2102548545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+A Relational Model of a Parallel and Non-deterministic λ-Calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank
@@ Property / cites work @@
+Localisation and interaction in one dimension
@@ Property / cites work: Localisation and interaction in one dimension / rank @@
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Differential interaction nets
@@ Property / cites work: Differential interaction nets / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Coherent Banach spaces: A continuous denotational semantics
+Normal rank
@@ Property / cites work @@
+Q4650586
@@ Property / cites work: Q4650586 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+On Linear Combinations of λ-Terms
@@ Property / cites work: On Linear Combinations of λ-Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197780
@@ Property / cites work: Q3197780 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2011.02.001
@@ Property / DOI: 10.1016/J.IC.2011.02.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:550253