Items by Churchill, Martin
|Up a level|
Number of items: 3.
Conference or Workshop Items
Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74. (Annual Symposium on Logic in Computer Science)
Churchill, M. and Laird, J., 2010. A logic of sequentiality. Springer, pp. 215-229. (Lecture Notes in Computer Science)