Selected Older Publications, 1988  1998
The following are a few old publications that are still requested regularly,
followed by some lectures that are sometimes cited.
 [0]

Michael Johnson
Pasting diagrams in ncategories with applications to coherence theorems
and categories of paths.
PhD thesis, University of Sydney, 1988.
(A (very) few curved arrows are missing because of old technology, sorry.)
[ pdf (~38M)  ps (~500k) ]
 [B1]

M. Johnson (Ed).
Algebraic Methodology and Software Technology.
Lecture Notes in Computer Science, 1349, 1997, 594pp.
 [2]

Michael Johnson.
The combinatorics of ncategorical pasting.
Journal of Pure and Applied Algebra, 63, 1989, 211225.
North Holland.
 [12]

Michael Johnson.
Linear term rewriting systems are higher dimensional
string rewriting systems.
Proc of the Institute for Mathematics and its Applications
35, 1992, 101110,
eds Rattray and Clark, Oxford University Press.
[ ps.gz (~58k)  ps (~140k) ]
 [13]

C.N.G. Dampney, Michael Johnson, G.P Monro.
A mathematical foundation for ERA.
Proc of the Institute for Mathematics and its Applications
35, 1992, 7784,
eds Rattray and Clark, Oxford University Press.
[ ps.gz (~36k)  ps (~120k) ]
 [14]

Michael Johnson, R.F.C Walters.
Algebra objects and algebra families for finite limit theories.
Journal of Pure and Applied Algebra,
83, 1992, 283293,
North Holland.
[ ps.gz (~60k)  ps (~150k) ]
 [18]

C.N.G. Dampney, Michael Johnson.
On the value of commutative diagrams in information
modelling.
Springer Workshops in Computing, eds Nivat et al, 1994, 4760,
Springer, London.
[ ps.gz (~125k)  ps (~720k) ]
 [22]

R.J. Buckland, Michael Johnson.
ECHIDNA: A system for manipulating explicit choice
higher dimensional automata.
Lecture Notes in Computer Science, 1101, 1996, 587591,
SpringerVerlag.
 [23]

Michael Johnson.
A categorical logic for information systems.
Journal of the IGPL,
4, 1996, 502504, Oxford University Press.
[ ps.gz (~25k)  ps (~55k) ]
 [28]

R.J. Buckland, Michael Johnson.
Explicit choice higher dimensional automata, omegamultigraphs,
and process algebra operations.
accepted for Intensional Programming II, World Scientific.
[ ps.gz (~52k)  ps (~125k) ]
 [29]

Michael Johnson, Ryan Shelswell.
The logic of a tos.
Workshop on Logic, Language, Information and Computation,
1998, 5pp.
[ ps.gz (~40k)  ps (~100k) ]
Here are some major lectures that don't have published proceedings.
 On the composability of higher lax transformations,
paper presented at the special session
on Categories at the Canadian Mathematical Society
Meeting in
St John, Canada, 1998.
 Higher homotopies and higher category theory,
paper presented at the International Category
Theory Meeting, CT'97,
University of British Columbia, Vancouver, Canada, 1997.
 Pasting schemes and their topological tensor product,
paper presented at the special session on category
theory and Hopf algebras, American Math Society,
Lawrenceville, NJ, 1996.
 On computational category theory and computational algebra,
paper presented at the DIMACS conference on
Computational Category Theory,
University of Linz, Austria, 1996.
 On the search for metaphor, paper presented at the
Connectionism and Psychology, satellite conference to
the Australian Conference on Neural Networks,
University of Queensland, January, 1994.
 Category theory for information systems practitioners,
paper presented at the 3Cs (Categories, Computing and
Combinatorics) conference,
University of New South Wales, November, 1993.
 Commonwealth Science Council, Mathematical Modelling
in Circuit Design,
Category theoretic modelling of digital circuits and
systems,
University of Kandy, Sri Lanka, April, 1992.
 Categorical information system specification, paper
presented at the Applications of Category Theory to
Computer Science Symposium,
Durham, U.K., 1991
 Representing families and the free construction on 1,
paper presented at the International Category Meeting,
Como, Italy, 1990
 The Connectionist Approach (ARC Special Conference),
Sequential learning for
neural networks (presented by J Wiles),
University of Queensland, August, 1990.
 Hopfield Networks,
paper presented at the Foundations of Connectionist Modelling
conference,
University of New South Wales, July, 1989.
 An abstract approach to rewrite systems II,
paper presented at the biennial Category Theory and Computer
Science Conference,
Manchester, U.K., 1989
 Higher dimensional paths in topological spaces,
paper presented at the International Categorical Topology
Conference,
Prague, Czechoslovakia, 1988
 Coherence and the Pasting Theorem,
paper presented at the plenary session of the
International Category Meeting,
LouvainLaNeuve, Belgium, 1987