Author Search Results :: UTM Library Massive Scholar Tracking

1

Bisimulations for Delimited-Control Operators by Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Published 2019-05-01

Get full text

Article
2

Proving Soundness of Extensional Normal-Form Bisimilarities by Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

Published 2019-03-01

Get full text

Article
3

Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau

Published 2017-11-01

Get full text

Article
4

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

Get full text

Article
5

Proving termination of evaluation for System F with control operators by Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Published 2013-09-01

Get full text

Article