Partial Recursive Functions and Finality (Q4922089): Difference between revisions

@@ Property / author @@
-Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
-Normal rank
@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / 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.1007/978-3-642-38164-5_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1528936577
@@ Property / OpenAlex ID: W1528936577 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Recursive Functions
@@ Property / cites work: Linear Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+An equational notion of lifting monad
@@ Property / cites work: An equational notion of lifting monad / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifications of the recursion scheme
@@ Property / cites work: Simplifications of the recursion scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+An internal language for autonomous categories
@@ Property / cites work: An internal language for autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal categories with natural numbers object
@@ Property / cites work: Monoidal categories with natural numbers object / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank