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.PL2012★ 2 cited
Normal Form Bisimulations for Delimited-Control Operators
Dariusz Biernacki, Serguei Lenglet
We define a notion of normal form bisimilarity for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. Normal form bisimilariti…