Building Blocks for Step-Indexed Program Logics.

Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gher, Robbert Krebbers

Browse the full CPP paper archive.