Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2014.09.003
@@ Property / DOI: 10.1016/j.jlamp.2014.09.003 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6376576
@@ Property / zbMATH DE Number: 6376576 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+domain theory
@@ Property / zbMATH Keywords: domain theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+PCF
@@ Property / zbMATH Keywords: PCF / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+full abstraction
@@ Property / zbMATH Keywords: full abstraction / 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.jlamp.2014.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2048999490
@@ Property / OpenAlex ID: W2048999490 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+The probabilistic powerdomain for stably compact spaces
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces are fully abstract for probabilistic PCF
+Normal rank
@@ Property / cites work @@
+The way-below relation of function spaces over semantic domains
+Normal rank
@@ Property / cites work @@
+Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Previsions
@@ Property / cites work: Continuous Previsions / rank @@
+Normal rank
@@ Property / cites work @@
+Prevision Domains and Convex Powercones
@@ Property / cites work: Prevision Domains and Convex Powercones / rank @@
+Normal rank
@@ Property / cites work @@
+De Groot duality and models of choice: angels, demons and nature
+Normal rank
@@ Property / cites work @@
+Non-Hausdorff Topology and Domain Theory
@@ Property / cites work: Non-Hausdorff Topology and Domain Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism theorems between models of mixed choice
+Normal rank
@@ Property / cites work @@
+Q4222889
@@ Property / cites work: Q4222889 / 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 @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Topology, domain theory and theoretical computer science
+Normal rank
@@ Property / cites work @@
+Q4536613
@@ Property / cites work: Q4536613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847403
@@ Property / cites work: Q2847403 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222776
@@ Property / cites work: Q4222776 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke logical relations and PCF
@@ Property / cites work: Kripke logical relations and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138545
@@ Property / cites work: Q3138545 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / 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 @@
+A relational account of call-by-value sequentiality
+Normal rank
@@ Property / cites work @@
+Q4868226
@@ Property / cites work: Q4868226 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank
@@ Property / cites work @@
+Q4488202
@@ Property / cites work: Q4488202 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracted: Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Q3999364
@@ Property / cites work: Q3999364 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2014.09.003
@@ Property / DOI: 10.1016/J.JLAMP.2014.09.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:478400