An Introduction to Context Logic

Venue

Proceedings of the 14^th International Workshop on Logic, Language, Information and Computation (WoLLIC’07), pp. 189–202

Publication Year

2007

Identifiers

DOI: doi:10.1007/978-3-540-73445-1_14

Authors

Philippa Gardner
Uri Zarfaty

Abstract

This paper provides a gentle introduction to Context Logic. It contains work previously published with Calcagno [1,2], and is based on Gardner’s notes for her course on Local Reasoning about Data Update at the Appsem PhD summer school [3] and Zarfaty’s thesis [4].

Source Materials

Published Edition
BibTeX Citation