Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159): Difference between revisions

@@ 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.2009.07.092
+Normal rank
@@ Property / OpenAlex ID @@
+W2014952600
@@ Property / OpenAlex ID: W2014952600 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Non-sequential Nature of Domain Models of Real-number Computation
+Normal rank
@@ Property / cites work @@
+A Convenient Category of Domains
@@ Property / cites work: A Convenient Category of Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260387
@@ Property / cites work: Q4260387 / rank @@
+Normal rank
@@ Property / cites work @@
+Integration in Real PCF
@@ Property / cites work: Integration in Real PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Exhaustible sets in higher-type computation
@@ Property / cites work: Exhaustible sets in higher-type computation / rank @@
+Normal rank
@@ Property / cites work @@
+Operational domain theory and topology of sequential programming languages
+Normal rank
@@ Property / cites work @@
+On the non-sequential nature of the interval-domain model of real-number computation
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261085
@@ Property / cites work: Q4261085 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction and recursion on the partial real line with applications to Real PCF
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+An upper power domain construction in terms of strongly compact sets
+Normal rank
@@ Property / cites work @@
+Power domains and second-order predicates
@@ Property / cites work: Power domains and second-order predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373421
@@ Property / cites work: Q4373421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical semantics for a nondeterministic typed lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q3998063
@@ Property / cites work: Q3998063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222969
@@ Property / cites work: Q4222969 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+Partial correctness for probabilistic demonic programs
+Normal rank
@@ Property / cites work @@
+Exact real number computations relative to hereditarily total functionals.
+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 @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868226
@@ Property / cites work: Q4868226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852372
@@ Property / cites work: Q2852372 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing probability measures using probabilistic processes
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+A Functional Algorithm for Exact Real Integration with Invariant Measures
+Normal rank
@@ Property / cites work @@
+Q4281486
@@ Property / cites work: Q4281486 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank
@@ Property / cites work @@
+Retracted: Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870815
@@ Property / cites work: Q4870815 / rank @@
+Normal rank