A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037): Difference between revisions

@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+What is the coalgebraic analogue of Birkhoff's variety theorem?
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Q4208532
@@ Property / cites work: Q4208532 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499308
@@ Property / cites work: Q4499308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222950
@@ Property / cites work: Q4222950 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An application of open maps to categorical logic
@@ Property / cites work: An application of open maps to categorical logic / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank