Q5875411 (Q5875411): Difference between revisions

@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On tree coalgebras and coalgebra presentations
@@ Property / cites work: On tree coalgebras and coalgebra presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+Normal rank
@@ Property / cites work @@
+The Lean Theorem Prover (System Description)
@@ Property / cites work: The Lean Theorem Prover (System Description) / 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 @@
+Q5014439
@@ Property / cites work: Q5014439 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Theory based on Dependent Inductive and Coinductive Types
+Normal rank
@@ Property / cites work @@
+Foundational (co)datatypes and (co)recursion for higher-order logic
+Normal rank
@@ Property / cites work @@
+Friends with Benefits
@@ Property / cites work: Friends with Benefits / rank @@
+Normal rank
@@ Property / cites work @@
+Truly Modular (Co)datatypes for Isabelle/HOL
@@ Property / cites work: Truly Modular (Co)datatypes for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144617
@@ Property / cites work: Q5144617 / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatic Quotient Types in Coq
@@ Property / cites work: Pragmatic Quotient Types in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / 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 @@
+Codifying guarded definitions with recursive schemes
+Normal rank
@@ Property / cites work @@
+Q3024837
@@ Property / cites work: Q3024837 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalized Hierarchy of Probabilistic System Types
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+Relation lifting, a survey
@@ Property / cites work: Relation lifting, a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+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 @@
+Relating Coalgebraic Notions of Bisimulation
@@ Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q5875441
@@ Property / cites work: Q5875441 / rank @@
+Normal rank