2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Two-dimensional Kripke Semantics I: Presheaves
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…
cs.PL2016★ 2 cited
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet +1
We present sound and complete environmental bisimilarities for a variant of Dybvig et al.'s calculus of multi-prompted delimited-control operators with dynamic prompt generation. T…