Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context logic as modal logic: completeness and parametric inexpressivity
POPL, 2007.
@inproceedings{POPL-2007-CalcagnoGZ,
author = "Cristiano Calcagno and Philippa Gardner and Uri Zarfaty",
booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}",
doi = "10.1145/1190216.1190236",
editor = "Martin Hofmann and Matthias Felleisen",
isbn = "1-59593-575-4",
pages = "123--134",
publisher = "{ACM}",
title = "{Context logic as modal logic: completeness and parametric inexpressivity}",
year = 2007,
}