Finiteness and rational sequences, constructively (Q5372009): Difference between revisions

@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Free iterative theories: a coalgebraic view
@@ Property / cites work: Free iterative theories: a coalgebraic view / rank @@
+Normal rank
@@ Property / cites work @@
+On streams that are finitely red
@@ Property / cites work: On streams that are finitely red / rank @@
+Normal rank
@@ Property / cites work @@
+The existence and construction of free iterative theories
+Normal rank
@@ Property / cites work @@
+Q3062067
@@ Property / cites work: Q3062067 / 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 @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013829
@@ Property / cites work: Q5013829 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Language Constructs for Non-Well-Founded Computation
+Normal rank
@@ Property / cites work @@
+Dependently Typed Programming in Agda
@@ Property / cites work: Dependently Typed Programming in Agda / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277977
@@ Property / cites work: Q5277977 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanized Theory of Regular Trees in Dependent Type Theory
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796817000041
+Normal rank
@@ Property / OpenAlex ID @@
+W2604484875
@@ Property / OpenAlex ID: W2604484875 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5372009