Some Remarks on Type Systems for Course-of-value Recursion (Q5178964): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.07.051
@@ Property / DOI: 10.1016/j.entcs.2009.07.051 / 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.1016/j.entcs.2009.07.051
+Normal rank
@@ Property / OpenAlex ID @@
+W2114009375
@@ Property / OpenAlex ID: W2114009375 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472881
@@ Property / cites work: Q5472881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion Schemes for Dynamic Programming
@@ Property / cites work: Recursion Schemes for Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone (co)inductive types and positive fixed-point types
+Normal rank
@@ Property / cites work @@
+Q4263804
@@ Property / cites work: Q4263804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268477
@@ Property / cites work: Q4268477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank
@@ Property / cites work @@
+Least and greatest fixed points in intuitionistic natural deduction
+Normal rank
@@ Property / cites work @@
+Q4524982
@@ Property / cites work: Q4524982 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.07.051
@@ Property / DOI: 10.1016/J.ENTCS.2009.07.051 / rank @@
+Normal rank