How to Reason Coinductively Informally (Q3305562): Difference between revisions

@@ Property / cites work @@
+Wellfounded recursion with copatterns
@@ Property / cites work: Wellfounded recursion with copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738111
@@ Property / cites work: Q4738111 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+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 @@
+Q4012883
@@ Property / cites work: Q4012883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263867
@@ Property / cites work: Q4263867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436029
@@ Property / cites work: Q4436029 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction-recursion and initial algebras.
@@ Property / cites work: Induction-recursion and initial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed induction-recursion
@@ Property / cites work: Indexed induction-recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Small Induction Recursion
@@ Property / cites work: Small Induction Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+A set constructor for inductive sets in Martin-Löf's type theory
+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 @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3145858
@@ Property / cites work: Q3145858 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras as Types Determined by Their Elimination Rules
+Normal rank