VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. - Zongyuan Liu 001; Sergei Stepanenko; Jean Pichon-Pharabod; Amin Timany; Aslan Askarov; Lars Birkedal (Proc. ACM Program. Lang., 2023)

The Essence of Generalized Algebraic Data Types. - Filip Sieczkowski; Sergei Stepanenko; Jonathan Sterling; Lars Birkedal (Zenodo, 2023)

The Essence of Generalized Algebraic Data Types. - Filip Sieczkowski; Sergei Stepanenko; Jonathan Sterling; Lars Birkedal (Zenodo, 2023)

The Essence of Generalized Algebraic Data Types. - Filip Sieczkowski; Sergei Stepanenko; Jonathan Sterling; Lars Birkedal (Zenodo, 2023)

The Essence of Generalized Algebraic Data Types. - Filip Sieczkowski; Sergei Stepanenko; Jonathan Sterling; Lars Birkedal (Proc. ACM Program. Lang., 2024)

Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (ESOP (2), 2025)

Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. - Sergei Stepanenko; Amin Timany (FSCD, 2025)

Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (Zenodo, 2025)

Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (Zenodo, 2025)