Realization of Coinductive Types (Q5739360): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2011.09.024
@@ Property / DOI: 10.1016/j.entcs.2011.09.024 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.09.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2038590032
@@ Property / OpenAlex ID: W2038590032 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318221
@@ Property / Wikidata QID: Q113318221 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843736
@@ Property / cites work: Q2843736 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2011.09.024
@@ Property / DOI: 10.1016/J.ENTCS.2011.09.024 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5739360