Codensity Lifting of Monads and its Dual (Q4553284): Difference between revisions

@@ Property / cites work @@
+[top     ][top     ]-closed relations and admissibility
@@ Property / cites work: [top ][top ]-closed relations and admissibility / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation on Markov Processes over Arbitrary Measurable Spaces
+Normal rank
@@ Property / cites work @@
+On the relations between monadic semantics
@@ Property / cites work: On the relations between monadic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive reasoning about effectful data types
@@ Property / cites work: Inductive reasoning about effectful data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics and simulation
@@ Property / cites work: Fixpoint semantics and simulation / 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 @@
+Q2843725
@@ Property / cites work: Q2843725 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relating computational effects by \(\top \top \)-lifting
+Normal rank
@@ Property / cites work @@
+Q3075442
@@ Property / cites work: Q3075442 / rank @@
+Normal rank
@@ Property / cites work @@
+Preorders on Monads and Coalgebraic Simulations
@@ Property / cites work: Preorders on Monads and Coalgebraic Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275349
@@ Property / cites work: Q5275349 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity Quotients as Final Coalgebras
@@ Property / cites work: Similarity Quotients as Final Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations for monadic types
@@ Property / cites work: Logical relations for monadic types / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283246
@@ Property / cites work: Q4283246 / rank @@
+Normal rank
@@ Property / cites work @@
+Lax extensions of coalgebra functors and their logic
+Normal rank
@@ Property / cites work @@
+Functors are Type Refinement Systems
@@ Property / cites work: Functors are Type Refinement Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869981
@@ Property / cites work: Q3869981 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Fibrational bisimulations and quantitative reasoning
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Relating models of backtracking
@@ Property / cites work: Relating models of backtracking / rank @@
+Normal rank