Bisimulations for Delimited-Control Operators

by Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Published 2019-05-01

Proving Soundness of Extensional Normal-Form Bisimilarities

by Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
Published 2019-03-01

Faithful (meta-)encodings of programmable strategies into term rewriting systems

by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Published 2017-11-01

Proving termination of evaluation for System F with control operators

by Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
Published 2013-09-01

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

by Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Published 2017-09-01