Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657): Difference between revisions

@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+On final coalgebras of power-set functors and saturated trees
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras and free iterative theories
@@ Property / cites work: Terminal coalgebras and free iterative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / 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 @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+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 @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+About permutation algebras, (pre)sheaves and named sets
+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 @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+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 @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Coalgebraic Data Types with Applications to Lambda Calculus
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+Finitary Corecursion for the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / 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 @@
+Rational streams coalgebraically
@@ Property / cites work: Rational streams coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank