Environmental bisimulations for delimited-control operators with dynamic prompt generation
Authors: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
Published in: Logical Methods in Computer Science(tom: 13(3:27), strony: ), Wydawca:Logical Methods in Computer Science e.V.
Publication type: article
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2