Fingerprint
Dive into the research topics of 'Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution