Selected Older Publications, 1988 - 1998

[0]

Michael Johnson
Pasting diagrams in n-categories 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 n-categorical pasting.
Journal of Pure and Applied Algebra, 63, 1989, 211--225. 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, 101--110,
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, 77--84,
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, 283--293, 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, 47--60, 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, 587--591, Springer-Verlag.

[23]

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

[28]

R.J. Buckland, Michael Johnson.
Explicit choice higher dimensional automata, omega-multigraphs, 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) ]

• 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,
  Louvain-La-Neuve, Belgium, 1987