5 citations · 12 across the 9 of their papers we have counts for
1 paper · 2 filters
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
We present a comprehensive study of the behavioral theory of an untyped λ-calculus extended with the delimited-control operators shift and reset. To that end, we define a context…