Integration in Real PCF (Q1854356): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2149945624
@@ Property / OpenAlex ID: W2149945624 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870826
@@ Property / cites work: Q4870826 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222754
@@ Property / cites work: Q4222754 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Power domains and iterated function systems
@@ Property / cites work: Power domains and iterated function systems / rank @@
+Normal rank
@@ Property / cites work @@
+When Scott is weak on the top
@@ Property / cites work: When Scott is weak on the top / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy computation with exact real numbers
@@ Property / cites work: Lazy computation with exact real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870818
@@ Property / cites work: Q4870818 / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Properly injective spaces and function spaces
@@ Property / cites work: Properly injective spaces and function spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Induction and recursion on the partial real line with applications to Real PCF
+Normal rank
@@ Property / cites work @@
+Q4260387
@@ Property / cites work: Q4260387 / rank @@
+Normal rank
@@ Property / cites work @@
+Real number computability and domain theory
@@ Property / cites work: Real number computability and domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998172
@@ Property / cites work: Q3998172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / 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 @@
+Computability and Noncomputability in Classical Analysis
+Normal rank
@@ Property / cites work @@
+Q3996430
@@ Property / cites work: Q3996430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868226
@@ Property / cites work: Q4868226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218119
@@ Property / cites work: Q4218119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with infinite objects
@@ Property / cites work: Computing with infinite objects / rank @@
+Normal rank