Pages that link to "Item:Q3415205"

The following pages link to Domain-Theoretic Foundations of Functional Programming (Q3415205):

Displaying 24 items.

• A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
• A universal Krull-Lindenbaum theorem (Q273003) (← links)
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
• Non-determinism in Gödel's system \(T\) (Q693050) (← links)
• The extensional ordering of the sequential functionals (Q764278) (← links)
• Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
• A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
• A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
• Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
• Semantical proofs of correctness for programs performing non-deterministic tests on real numbers (Q3060187) (← links)
• Galois Connections for Recursive Types (Q3297839) (← links)
• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs (Q3502663) (← links)
• Recursion in Higher Types and Resource Bounded Turing Machines (Q3507448) (← links)
• Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
• (Q4580318) (← links)
• Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
• (Q4969299) (← links)
• Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113) (← links)
• The Scott model of PCF in univalent type theory (Q5055497) (← links)
• A Nonstandard Functional Programming Language (Q5056008) (← links)
• A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
• Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
• The order-<b>K</b>-ification monads (Q6149960) (← links)