Computing with Functionals—Computability Theory or Computer Science? (Q5479568): Difference between revisions

@@ Property / author @@
+Dag Normann
@@ Property / author: Dag Normann / 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.2178/bsl/1140640943
+Normal rank
@@ Property / OpenAlex ID @@
+W2110195431
@@ Property / OpenAlex ID: W2110195431 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Computable functionals of finite types
@@ Property / cites work: Computable functionals of finite types / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract data type for real numbers
@@ Property / cites work: An abstract data type for real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / 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 @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability over the partial continuous functionals
+Normal rank
@@ Property / cites work @@
+The continuous functionals; computations, recursions and degrees
+Normal rank
@@ Property / cites work @@
+Computations in higher types
@@ Property / cites work: Computations in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary PCF is not decidable
@@ Property / cites work: Finitary PCF is not decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Unary PCF is decidable
@@ Property / cites work: Unary PCF is decidable / 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 @@
+Maximal and everywhere-defined functionals
@@ Property / cites work: Maximal and everywhere-defined functionals / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5479568