Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paco
@@ Property / describes a project that uses: Paco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-57418-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2609910004
@@ Property / OpenAlex ID: W2609910004 / 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 @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+On the Bourbaki–Witt principle in toposes
@@ Property / cites work: On the Bourbaki–Witt principle in toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+The Largest Respectful Function
@@ Property / cites work: The Largest Respectful Function / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Bisimulation Up to Elaboration
@@ Property / cites work: Weak Bisimulation Up to Elaboration / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Lattices and Up-To Techniques
@@ Property / cites work: Complete Lattices and Up-To Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction All the Way Up
@@ Property / cites work: Coinduction All the Way Up / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
+Normal rank
@@ Property / cites work @@
+Transfinite Constructions in Classical Type Theory
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank