Context logic as modal logic, completeness and parametric inexpressivity. (English) Zbl 1295.68079
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 123-134 (2007).