# Greg O'Keefe: Publications and other Writings

## Modelling

Improving the Definition of UML

pdf bibtex
SpringerLink

presentation slides pdf

*Proceedings of Model Driven Engineering Languages and Systems
(MoDELS) 2006*, Springer LNCS 4199, Pages 42-56.

Dynamic Logic for UML Consistency

pdf bibtex
SpringerLink

presentation slides pdf

*Proceedings of the European Conference on Model Driven Engineering
(ECMDA-FA) 2006*, Springer LNCS 4066, Pages 113-127.
## Logic

Lecture slides and other materials for the Introduction to Formal Logic course I taught several times at Macquarie University.

## Formalised Maths

Towards a Readable Formalisation of Category Theory

pdf
ps.gz
bibtex

*Proceedings of Computing: The Australasian Theory Symposium
(CATS) 2004*, pp 212-228, Vol. 91 Electronic Notes in
Theoretical Computer Science, Elsevier.

For Isabelle/HOL sources and formal text of the above,
see *Category Theory to Yoneda's Lemma* in the
Archive of Formal Proofs.

*Topologies and Closures are Equivalent* pdf

An Isabelle/HOL/Isar development
that closely follows part of a basic topology text

Also, the upward closed sets of a preorder are a topology
pdf

## Maths

My Honours thesis on Inconsistent Maths .ps .pdf

### Some Category Theory Homework

Equivalence of Categories is an Equivalence Relation

Horizontal Composition of Natural Transformations

## Computing

From Power Up to Bash Prompt is a Linux HOWTO I
wrote, and it's high time I updated it.

This stuff is brought to you by
Greg O'Keefe

Last updated 15 January 2008