These pages are in the process of fabrication.

00-IDSandMODS .

SetTheory .

FOR-TOMMY .

I am getting quite a lot of hits from you out there, but I don't know what you are looking for. (I have just the one counter on this top page.) If you find any of my documents useful, please let me know. I spend a fair amount of my time writing new sets of notes which eventually I hope to make publically available. Information from you will give me an indication of which documents you find most useful, and hence what I should concentrate on in the future. Thank you.

- I don't need the brownie points (and I am less than impressed by some of the things brownie points are awarded for these days);
- the refereeing process has become appalling, and it is hardly worth the effort putting up with some of the crap;
- I am sick of commercial publishers shafting the mathematical community.

There is a complete list of my publications mostly papers but with one or two books. Of course most of these are not available in electronic form (unless you can go directly to the publishing journal).

There is a list of corrections to the book Derivation and Computation.

In general a Paper tends to be shorter and rather tersely written. Some of the papers have been been published or submitted for publication. Others I will simply leave here, at least for the time being.

A set of Notes is more expansive and usually longer. However, sometimes such notes are quite short (and written because I couldn't find a self contained account of the topic).

Sometimes a Paper contains material that is `well known' and therefore doesn't deserve to be published in a respectable journal. Sometimes a set of Notes contains material that is quite new, and perhaps could be turned into a journal paper.

A list of titles and abstracts of these documents is given in Papers-and-Notes.

Where available, after each abstract there are links to various forms of that document.

The MFG runs a 30 hour lecture course
**Mathematics and Computations** as part of a taught
MSc in Mathematical Logic. An overview of that course can be found at
overview.dvi
or
overview.pdf
or
overview.ps
.

That course consists mainly of introductions to
**Category theory** using the notes
CatTheory.dvi
or
CatTheory.ps.gz
or
CatTheory.pdf
and to
**Lambda-calculi** using the notes
lcalculus.dvi
or
lcalculus.ps.gz
or
lcalculus.pdf
. Both of these are in book form.

This block was last updated in February 06.

I will write more details for this block in due course.

- Room 2.120A in the Computer Building, Manchester University, Oxford Road, Manchester M13 9PL, England.
- e-mail: hsimmons@manchester.ac.uk
- Telephone: +44 161 275 6288