Lax Liftings and Lax Distributive Laws (Q6190599): Difference between revisions

@@ Property / OpenAlex ID @@
+W4385342833
@@ Property / OpenAlex ID: W4385342833 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3986541
@@ Property / cites work: Q3986541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847811
@@ Property / cites work: Q2847811 / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebraic Methods in Structural Operational Semantics
+Normal rank
@@ Property / cites work @@
+Relation lifting, a survey
@@ Property / cites work: Relation lifting, a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Lax extensions of coalgebra functors and their logic
+Normal rank
@@ Property / cites work @@
+Lifting theorems for Kleisli categories
@@ Property / cites work: Lifting theorems for Kleisli categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3646425
@@ Property / cites work: Q3646425 / rank @@
+Normal rank