Researcher profile
Sergueï Lenglet
1 paper in the PaperMetrix corpus
Publications
Papers by this author
-
Bisimulations for Delimited-Control Operators
2019 · Logical Methods in Computer Science
We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then …