Photographs: Exhibition and book Composition and Context.
The book is available NOW.
Please email me at the address at the top of the page.
Research interests

  Previous publications. Please note that this list basically covers 1990-2005 only.
A full list of my publications is available on request.
All enquiries to John.Crossley "at symbol" infotech.monash.edu.au
 

Hindu-Arabic numerals and medieval musicology

Carol Williams and John N. Crossley, Musical practice and theoretical mathematics: Grocheio in Paris (Word document)

School of Computer Science and Software Engineering, Monash University, Melbourne, Australia, 18pp.
Technical report 2005/??.
 

Mathematical logic and theoretical computer science

Constraint functional programming

Matthias Hoelzl and John N. Crossley, Disjunctive Constraint Lambda Calculi (PDF)
Accepted for LPAR 2005.
Technical Report 2005/171, Clayton School of Information Technology, Monash University, Melbourne, Australia, 15pp.
 

CLASE: My short paper for the Workshop at ETAPS in 2005, CLASE, is here in PDF.


John N. Crossley, Samsara (PDF)
Book chapter to appear in early 2006 in: Mathematical Problems from Applied Logic I; New Logics for the XXIst Century to be published by Springer in its International Mathematical Series.
Technical Report 2005/169, Clayton School of Information Technology, Monash University, Melbourne, Australia, 29pp.
 

John N. Crossley, What is mathematical logic? A survey (PDF)
tutorial presnted at the First Indian Conference on Logic and its Relationship to other Disciplines, IIT Bombay, Powai, January 2005.
Technical Report 2005/168, Clayton School of Information Technology, Monash University, Melbourne, Australia, 14pp.
 

Structures-with-features

J N Crossley: Structures with features,(Postscript , PDF ) Matimyas Matematika, Special Issue, Vol. 25, Jan. 2002, pp. 25 - 39 (Proceedings, International Mathematics Conference in honor of Fr. Bienvenido F. Nebres, S.J.). Available as School of Computer Science and Software Engineering, Monash University, Melbourne, Australia, Technical report 2001/91, 15pp.

 

Extracting programs from proofs

Book
Iman Hafiz Poernomo, John Newsome Crossley and Martin Wirsing,
Adapting proofs-as-progams: The Curry-Howard protocol
2005, 420 pp.
Springer, New York.
 

John N. Crossley, What is the difference between proofs and programs? (PDF)
paper presnted at the First Indian Conference on Logic and its Relationship to other Disciplines, IIT Bombay, Powai, January 2005.
Technical Report 2005/167, Clayton School of Information Technology, Monash University, Melbourne, Australia, 18pp.

 

I Poernomo and J N Crossley: Correct interaction between programs and proofs, School of Computer Science and Software Engineering, Monash University, Melbourne, Australia, 14pp.
Technical report 2000/58. Abstract available.

My classics

Logic

See

What is mathematical logic?

with Chris Brickhill, Chris Ash(+), John Stillwell and Neil Williams,
(Latest edition) Dover Books US$4.95 would you believe!.

History of Mathematics
1. General
See my The Emergence of Number,
World Scientific, Singapore, 1987.

2. Chinese mathematics
  See my translation (with Tony Lun) of
Chinese Mathematics: A Concise History,
by Li Yan and Du Shiran.
Oxford University Press, 1987.

Nine Chapters on the Mathematical Art: Commentary and Companion

by Shen Kangshen, John N. Crossley and Anthony W.-C. Lun,
Oxford University Press, Oxford, UK, ISBN: 0-19 853936 3.