Title: Environmental bisimulations for delimited-control operators with dynamic prompt generation
Authors: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
Journal: Logical Methods in Computer Science(tom: 13(3:27), strony: ), Wydawca:Logical Methods in Computer Science e.V.
Publication type: article
DOI: 10.23638/LMCS-13(3:27)2017