A Mechanized Theory of Regular Trees in Dependent Type Theory (Q2945653): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2396664939
@@ Property / OpenAlex ID: W2396664939 / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138171
@@ Property / cites work: Q4138171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837984
@@ Property / cites work: Q3837984 / 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 @@
+Subtyping, Declaratively
@@ Property / cites work: Subtyping, Declaratively / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+CoCaml: Functional Programming with Regular Coinductive Types
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3578287
@@ Property / cites work: Q3578287 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2945653