Semantics of Higher-Order Recursion Schemes (Q5891582): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6040154
+scientific article; zbMATH DE number 5900069
@@ Property / zbMATH Open document ID @@
+.03013
@@ Property / zbMATH Open document ID: 1218.03013 / rank @@
+Normal rank
@@ Property / DOI @@
+.2168/LMCS-7(1:15)2011
@@ Property / DOI: 10.2168/LMCS-7(1:15)2011 / rank @@
+Normal rank
@@ Property / published in @@
+Logical Methods in Computer Science
@@ Property / published in: Logical Methods in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+May 2011Timestamp +2011-05-26T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2011-05-26T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 26 May 2011 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5900069
@@ Property / zbMATH DE Number: 5900069 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2120834341
@@ Property / OpenAlex ID: W2120834341 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4929
@@ Property / arXiv ID: 1101.4929 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
+Normal rank
@@ Property / cites work @@
+Program schemes, recursion schemes, and formal languages
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762218
@@ Property / cites work: Q2762218 / rank @@
+Normal rank
@@ Property / cites work @@
+On the monadicity of finitary monads
@@ Property / cites work: On the monadicity of finitary monads / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution in non-wellfounded syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+The category-theoretic solution of recursive program schemes
+Normal rank