Logical Relations in Iris

Amin Timany, Robbert Krebbers, and Lars Birkedal: Logical Relations in Iris. In CoqPL'17, January 2017.
.pdf [slides] .pdf
Unpublished Workshop Paper
The bibtex source for this publication:
@inproceedings{CoqPL17,
  author = {Amin Timany and Robbert Krebbers and Lars Birkedal},
  title = {{Logical Relations in Iris}},
  booktitle = {CoqPL},
  year = {2017},
  month = {January},
  url = {http://conf.researchr.org/track/CoqPL-2017/main}
 }