Ph:+61-3-9905-5206; Fax:+61-3-9905-5146

Room G10, Building 63, Clayton Campus

You are visitor number: since 24 February 2004.

For the web page of

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*

* 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, **

*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*

*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.*

Oxford University Press, Oxford, UK, ISBN: 0-19 853936 3.

but also see my exhibition Composition and Context.

Half marathon finish in 2000

Sara Miranda and John Crossley in Essex, October, 2004.