Items by Churchill, Martin

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2012 | 2011 | 2010
Number of items: 3.


Churchill, M., 2012. Imperative Programs as Proofs via Game Semantics. Thesis (Doctor of Philosophy (PhD)). University of Bath.


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. In: Dawar, A. and Veith, H., eds. Computer Science Logic (Lecture Notes in Computer Science).Vol. 6247/2. Springer, pp. 215-229. (Lecture Notes in Computer Science)

This list was generated on Wed Oct 26 20:21:06 2016 IST.