Bialgebraic Reasoning on Higher-order Program Equivalence (2024) Goncharov S, Milius S, Tsampas S, Urbat H Conference contribution Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024) Wißmann T, Milius S Conference contribution Weak Similarity in Higher-Order Mathematical Operational Semantics (2023) Urbat H, Tsampas S, Goncharov S, Milius S, Schröder L Conference contribution Graded Monads and Behavioural Equivalence Games (2022) Ford M, Milius S, Schröder L, Beohar H, König B Conference contribution Behavioural Preorders via Graded Monads (2021) Ford M, Milius S, Schröder L Conference contribution Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (2021) De Groot J, Litak TM, Pattinson D Conference contribution Varieties of Languages in a Category (2015) Adámek J, Milius S, Myers R, Urbat H, Urbat H Conference contribution A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article