Browsing by Subject "Program Verification"
Now showing items 1-4 of 4
-
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(IEEE, 2023)We present the first fully abstract normal form bisimulation for call-by-value PCF (PCFv). Our model is based on a labelled transition system (LTS) that combines elements from applicative bisimulation, environmental ...