Logical Relations in Iris

In CoqPL'17 Unpublished Workshop Presentation
Amin Timany, Robbert Krebbers, and Lars Birkedal. Logical Relations in Iris. In CoqPL'17, January 2017.
  • Links: .pdf [slides] .pdf
  • Keywords: Type Soundness, Data Abstraction, Logical Relations, Step-Indexing, Concurrent Separation Logic, Iris, Coq
BibTeX
@inproceedings{CoqPL17,
  author = {Amin Timany and Robbert Krebbers and Lars Birkedal},
  title = {{Logical Relations in Iris}},
  booktitle = {CoqPL},
  year = {2017},
  month = {January},
  url = {https://conf.researchr.org/track/CoqPL-2017/main}
 }