Fully abstract encodings of λ-calculus in HOcore through abstract machines. - Malgorzata Biernacka; Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk; Damien Pous; Alan Schmitt (LICS, 2017)

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. - Andrés Aristizábal; Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (Log. Methods Comput. Sci., 2017)

Proving Soundness of Extensional Normal-Form Bisimilarities. - Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (MFPS, 2018)

Logical relations for coherence of effect subtyping. - Dariusz Biernacki; Piotr Polesiuk (Log. Methods Comput. Sci., 2018)

Handle with care: relational interpretation of algebraic effects and handlers. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2018)

A Complete Normal-Form Bisimilarity for State. - Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (FoSSaCS, 2019)

Equational Theories and Monads from Polynomial Cayley Representations. - Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (FoSSaCS, 2019)

Typed Equivalence of Effect Handlers and Delimited Control. - Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (FSCD, 2019)

Diacritical Companions. - Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (MFPS, 2019)

Bisimulations for Delimited-Control Operators. - Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (Log. Methods Comput. Sci., 2019)

Abstracting algebraic effects. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2019)

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. - Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (FSCD, 2020)

Binders by day, labels by night: effect instances via lexically scoped handlers. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2020)

Fully Abstract Encodings of $ lambda$-Calculus in HOcore through Abstract Machines. - Malgorzata Biernacka; Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk; Damien Pous; Alan Schmitt (Log. Methods Comput. Sci., 2024)