Sort logic and foundations of mathematics, in: Infinity and Truth, Edited by: Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Lecture Notes Series of the Institute for Mathematical Sciences, World Scientific, vol. 25, 2014, 171-186. Available in
arXiv.org.
Breaking the atom with Samson. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson
Abramsky.
Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday.
Editors: Bob Coecke, Luke Ong, Prakash Panangaden, Lecture Notes in Computer Science, volume 7860, 2013, pp. 327-335.