Context logic as modal logic: completeness and parametric inexpressivity.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Browse the full POPL paper archive.