A Type-Directed Negation Elimination

Self-Correlation and Maximum Independence in Finite Relations

*-Continuous Kleene ω-Algebras for Energy Problems

Disjunctive form and the modal $\mu$ alternation hierarchy

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

Formalizing Termination Proofs under Polynomial Quasi-interpretations

Dependent Inductive and Coinductive Types are Fibrational Dialgebras

Iteration Algebras for UnQL Graphs and Completeness for Bisimulation

Reasoning about modular data-types with Mendler induction

Weak Completeness of Coalgebraic Dynamic Logics

The Arity Hierarchy in the Polyadic mu-Calculus