Crossley and Anthony W.-C. Lun. Oxford University Press, 1999 Adapting proofs-as-programs: The Curry-Howard Protocol, Iman Hafiz Poernomo, John Newsome Crossley and Martin Wirsing, Springer Monographs in Computer Science, Springer, New York, 2005 Growing ideas of number John N. Crossley Australian Council for Educational Research, Camberwell, 2007 Ars musice Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon, and Carol Williams (ed and trans.), Johannes de Grocheio. Consortium on the Teaching of the Middle Ages (TEAMS), Kalamazoo, MI., 2011 References External links John Gough's Article Monash Library Search: Publications 1990–2009 Homepage of John N. Crossley 1937 births Living people Scientists from Yorkshire English mathematicians English logicians Monash University faculty Fellows of All Souls College, Oxford Australian logicians Australian philosophers English philosophers Alumni of Merton College, Oxford Fellows of Merton College, Oxford Alumni of St John's College, Oxford