Emeritus Prof John Crossley - Researcher Profile

Biography

John works in the Faculty of Information Technology at Monash University as a Emeritus Professor.

Publications

Books

Crossley, J.N., 2011, Hernando de los Rios Coronel and the Spanish Philippines in the Golden Age, Ashgate, Farnham Surrey UK.

Mews, C., Crossley, J., Jeffreys, C., McKinnon, L., Williams, C., 2011, Johannes de Grocheio: Ars Musice, Medieval Institute Publications, Kalamazoo MI USA.

Crossley, J.N., 2007, Growing ideas of number, ACER Press, Camberwell Vic Australia.

Poernomo, I.H., Crossley, J.N., Wirsing, M., 2005, Adapting Proofs-as-Programs: The Curry-Howard Protocol, Springer Science+Business Media, New York USA.

Crossley, J.N., Poernomo, I., Basit, B., Jeavons, J.S., 2000, A Case Study for Reliable, Reusable Software, SCSSE Monash University, Clayton Vic Australia.

Jeavons, J.S., Poernomo, I., Basit, B., Crossley, J.N., 2000, A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory, SCSSE Monash University, Clayton Vic Australia.

Poernomo, I., Crossley, J.N., 2000, Correct Interaction Between Programs and Proofs, SCSSE Monash University, Clayton Vic Australia.

Crossley, J.N., Poernomo, I., Wirsing, M., 2000, Extraction of Structured Programs from Specification Proofs, SCSSE Monash University, Clayton Vic Australia.

Jeavons, J.S., Poernomo, I., Crossley, J.N., Basit, B., 2000, Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory, SCSSE Monash University, Clayton Vic Australia.

Crossley, J.N., Wirsing, M., 2000, Programs from Specification Proofs, SCSSE Monash University, Clayton Vic Australia.

Poernomo, I., Crossley, J.N., 2000, Protocols Between Programs and Proofs, SCSSE Monash University, Clayton Vic Australia.

Kangshen, S., Crossley, J.N., Lun, A.W., 1999, The Nine Chapters on the Mathematical Art Companion & Commentary, Oxford University Press, UK.

Kangshen, S., Crossley, J.N., Lun, A.W., 1999, The Nine Chapters on the Mathematical Art Companion and Commentary, Oxford University Press, Oxford UK.

Crossley, J.N., 1998, How Do We Do Mathematics?, SCSSE Monash University, Melbourne Vic Australia.

Book Chapters

Ackerman, H., Biggs, M., Crossley, J.N., Goodman, W., Leving, Y., White, F., 2012, Forum: High pressure: Psychosis, performance, schizophrenia, literature: An interdisciplinary roundtable discussion on Nabokov's 'Signs and Symbols', in Anatomy of a Short Story: Nabokov’s Puzzles, Codes, 'Signs and Symbols', eds Yuri Leving, Continuum International, New York NY USA, pp. 15-40.

Crossley, J.N., 2012, What is a logic?, in Studies in Logic: A Dialogue Between the East and the West, eds Madhabendra Nath Mitra, Mihir Kumar Chakraborty and Sundar Sarukkai, Sanctum Books, New Delhi India, pp. 1-33.

Crossley, J.N., Williams, C.J., 2011, Studying musica in thirteenth-century Paris: The expectations of Johannes de Grocheio, in Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500, eds Constant J Mews and John N Crossley, Brepols, Turnhout Belgium, pp. 137-150.

Crossley, J.N., 2011, What is a proof?, in Proof, Computation and Agency: Logic at the Crossroads, eds Johan van Benthem, Amitabha Gupta and Rohit Parikh, Springer Science+Business Media, Berlin Germany, pp. 35-52.

Crossley, J.N., 2011, What is mathematical logic? A survey, in Proof, Computation and Agency: Logic at the Crossroads, eds Johan van Benthem, Amitabha Gupta and Rohit Parikh, Springer Science+Business Media, Berlin Germany, pp. 3-17.

Crossley, J.N., 2011, What is the difference between proofs and programs?, in Proof, Computation and Agency: Logic at the Crossroads, eds Johan van Benthem, Amitabha Gupta and Rohit Parikh, Springer Science+Business Media, Berlin Germany, pp. 81-97.

Crossley, J.N., 2010, Beyond three: Jung, Anthropology and number, in Dreams and Visions: An Interdisciplinary Enquiry, eds Nancy van Deusen, Brill, Leiden Netherlands, pp. 313-324.

Crossley, J.N., 2010, The oldest personal library in the Philippines?, in Lumina Pandit: A Collection of Historical Treasures, eds Angel Aparicio, UST Miguel de Benavides Library, Manilla Philippines, pp. 29-36.

Crossley, J.N., 2006, Samsara, in Mathematical Problems from Applied Logic I: Logics for the XXIst Century, eds Dov M Gabbay, Sergei S Goncharov and Michael Zakharyaschev, Springer Science+Business Media, New York USA, pp. 233-276.

Journal Articles

Crossley, J., Jose, R., 2011, The University of Santo Tomas Hours: Surprising discovery of a treasure, Philippiniana Sacra [P], vol XLVI, issue 138, University of Santo Tomas, Manila Philippines, pp. 731-758.

Crossley, J.N., 2010, A library in the Philippines in 1611, Research Papers Hispanic Literature [P], vol 35, Spanish University Foundation, Spain, pp. 189-223.

Crossley, J.N., 2009, Copernicus in the Philippines, 1600, Ometeca: science and humanities [P], vol 13, Ometeca Institute, St Petersburg FL USA, pp. 14-26.

Mews, C.J., Jeffreys, C.M., McKinnon, L., Williams, C.J., Crossley, J.N., 2008, Guy of Saint-Denis and the Compilation of Texts about Music in London, British Library,Harl. MS. 281, Electronic British Library Journal, vol 2008, issue 6, British Library, London, pp. 1-34.

Crossley, J.N., 2008, Ptolemy's Almagest: Its dates and the dating of Oxford, All Souls College, ms. 95, The La Trobe Journal, vol 81, issue Autumn 2008, State Library of Victoria Foundation, Melbourne Vic Australia, pp. 118-125.

Crossley, J.N., 2008, Review: Eckart Menzler-Trotts's: Logic's lost genius: The life of Gerhard Gentzen, The Australasian Journal of Logic [P], vol 6, Australasian Association for Logic, University of Melbourne Vic Australia, pp. 102-105.

Crossley, J.N., 2007, One man's library, Manila, ca. 1611 - A first look, Script and Print, vol 30, issue 4, BSANZ, Wagga Wagga NSW Australia, pp. 201-209.

Crossley, J.N., 2006, The essentials of, and for, mathematics, Gazette, vol 33, issue 3, Australian Mathematical Society, Australia, pp. 177-185.

Holzl, M., Crossley, J.N., 2002, Constraint-Lambda Calculi, Lecture Notes in Artificial Intelligence, vol 2309, Springer-Verlag, Berlin Germany, pp. 207-222.

Crossley, J.N., Poernomo, I., 2001, Fred: an approach to generating real, correct, reusable programs from proofs, Journal of Universal Computer Science, vol 7, issue 1, Springer-Verlag, Germany, pp. 71-88.

Poernomo, I., Crossley, J.N., Wirsing, M., 2001, Programs, proofs and parametrized specifications, Lecture Notes in Computer Science, vol 2267, Springer-Verlag Berlin, Berlin Germany, pp. 280-304.

Poernomo, I., Crossley, J.N., 2001, Protocols between programs and proofs, Lecture Notes in Computer Science, vol 2042, Springer-Verlag Berlin, Berlin Germany, pp. 18-37.

Crossley, J.N., Poernomo, I., Wirsing, M., 2000, Extraction of Structured Programs from Specification Proofs, Lecture Notes in Computer Science, vol 1827, Springer-Verlag, Heidelberg Germany, pp. 419-437.

Wirsing, M., Crossley, J.N., Peterreins, H., 1999, Proof Normalization of Structured Algebraic Specifications is Convergent, Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques, Thirteenth Int. Workshop (WADT'98), vol j l fiadeiro, Springer-Verlag, Heidelberg GERMANY, pp. 326-340.

Albrecht, D.W., Crossley, J.N., Jeavons, J.S., 1997, New Curry-Howard terms for full linear logic, Theoretical Computer Science, vol 185, Elsevier Science BV, Amsterdam Netherlands, pp. 217-235.

Conference Proceedings

Crossley, J.N., Cruz, L., 2012, LMT: A lightweight logical framework for multi-agent systems, Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 10 September 2012 to 12 September 2012, IOS Press BV, Amsterdam Netherlands, pp. 118-127.

Cruz, L., Crossley, J.N., 2010, Contextualizing ontologies for agents, Proceedings of the International Conference on Knowledge Engineering and Ontology Development, 25 October 2010 to 28 October 2010, SciTePress, Lisbon Portugal, pp. 147-152.

Cruz, R.P., Crossley, J.N., 2009, Tiered logic for agents, Proceedings of the First International Conference on Agents and Artificial Intelligence (ICAART 2009), 19 January 2009 to 21 January 2009, INSTICC Press, Setubal Portugal, pp. 369-376.

Hoelzl, M., Crossley, J.N., 2005, Disjunctive constraint lambda calculi, Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005), 2 December 2005 to 6 December 2005, Springer-Verlag, Berlin Germany, pp. 64-78.

Jeavons, J.S., Basit, B., Poernomo, I.H., Crossley, J.N., 2003, A layered approach to extracting programs from proofs with an application in graph theory, Proceedings of the 7th & 8th Asian Logic Conferences, 29/08/2002 to 02/09/2002, Singapore University Press and World Scientific Publishing Co Pte Ltd, SINGAPORE, pp. 193-221.

Poernomo, I.H., Crossley, J.N., 2003, The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning, Proceedings of the 7th and 8th Asian Logic Conferences, 29 August 2002 to 02 September 2002, Singapore University Press & World Scientific Publishing Co. Pte., Singapore, pp. 343-376.

Crossley, J.N., Poernomo, I., Basit, B., 2000, A Case Study for Reliable, Reusable Software, Proceedings of the Philippine Computing Science Congress (PCSC 2000), Manila PHILIPPINES, 29 November - 1 December 2000, Computing Society of the Philippines, Manila Philippines, pp. 137-143.

Crossley, J.N., Lun, A.W., 1998, Recovering Indigenous Mathematics, Ethnomathematics and Mathematic Education. Building an Equitable Future, Granada Spain, 2-5 September 1998, Universidad de Granada, Granada Spain, pp. 1-6.

Other

Crossley, J.N., 2007, What is mathematical logic? A survey, Allied Publishers Pvt Ltd, New Delhi India, pp. 3-19.

Crossley, J.N., 2005, From the Imaginary to the Real: the Triumph of Rome, Monash University, Melbourne Vic Australia, pp. 1-13.

Crossley, J.N., 2005, Raymond Llull's Contributions to Computer Science, Monash University, Melbourne Vic Australia, pp. 1-13.

Crossley, J.N., 2005, Samsara, Monash University, Melbourne Vic Australia, pp. 1-29.

Crossley, J.N., 2005, Snow on the Mountains: Number in Grocheio in the Thirteenth Century, Monash University, Melbourne Vic Australia, pp. 1-21.

Crossley, J.N., 2005, What is Mathematical Logic? A Survey, Monash University, Melbourne Vic Australia, pp. 1-15.

Crossley, J.N., 2005, What is the Difference Between Proofs and Programs?, Monash University, Melbourne Vic Australia, pp. 1-18.

Grants

Title:

Developing a Functional Programming Language With Constraints.

Investigators:

Crossley, J

Funding:

(1999 - 1999). Australian Research Council (ARC).

Title:

Experience versus authority: science, musical theory and observation in Grocheo's De Musica and intellectual upheaval in the 13th century.

Investigators:

Mews, C, Crossley, J, Williams, C

Funding:

(2005 - 2009). Australian Research Council (ARC).

Title:

Extracting Programs From Proofs.

Investigators:

Crossley, J

Funding:

(1996 - 2013). Australian Research Council (ARC).

Postgraduate Research Supervisions

Completed Supervision

Student:

Cruz, R.

Program of Study:

Tiered logic for contextualizing logics. (PHD) 2009.

Supervisors:

Crossley, J (Main), Squire, D (Associate).

Student:

Poernomo, I.

Program of Study:

VARIATIONS ON A THEME OF CURRY AND HOWARD: THE CURRY-HOWARD ISOMORPHISM AND THE PROOFS-AS-PROGRAMS PARADIGM ADAPTED TO IMPERATIVE AND STRUCTURED PROGRAM SYNTHESIS. (PHD) 2003.

Supervisors:

Crossley, J (Main), Jeavons, J (Associate).

Student:

Rendell, R.

Program of Study:

CFS: CONSTRAINT PROGRAMMING IN MULTIPLE DOMAINS. (PHD) 2002.

Supervisors:

Crossley, J (Main).

Student:

Spinks, M.

Program of Study:

CONTRIBUTIONS TO THE THEORY OF PRE-BCK-ALGEBRAS. (PHD) 2002.

Supervisors:

Bignall, R (Main), Crossley, J (Associate).