Non-well-founded trees in categories (Q876383): Difference between revisions

@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and exact completion
@@ Property / cites work: Inductive types and exact completion / rank @@
+Normal rank
@@ Property / cites work @@
+Models of non-well-founded sets via an indexed final coalgebra theorem
+Normal rank
@@ Property / cites work @@
+Q4256316
@@ Property / cites work: Q4256316 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328538
@@ Property / cites work: Q3328538 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of categories of coalgebras
@@ Property / cites work: On the structure of categories of coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Subequalizers
@@ Property / cites work: Subequalizers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Q4453639
@@ Property / cites work: Q4453639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4663837
@@ Property / cites work: Q4663837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843736
@@ Property / cites work: Q2843736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655524
@@ Property / cites work: Q5655524 / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank