Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

Paolo G. Giarrusso, Leo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers

Research output: Contribution to journalArticleScientificpeer-review

10 Citations (Scopus)
40 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris'. Together they form a unique fingerprint.

Computer Science

INIS

Mathematics