Items by Churchill, Martin
 | Up a level |
Jump to: Book Sections | Thesis
Number of items: 3.
Book Sections
Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, pp. 65-74.
Churchill, M. and Laird, J., 2010. A logic of sequentiality. In: Dawar , A. and Veith, H., eds. Computer Science Logic (Lecture Notes in Computer Science). Springer Verlag, pp. 215-229.
Thesis
Churchill, M., 2012. Imperative Programs as Proofs via Game Semantics. Thesis (Doctor of Philosophy (PhD)). University of Bath.
