Category Theory Publications 1992--1994

  1. (with R. Buckland)
    Modelling algebraic structures with prolog, Computational Algebra and Number Theory, (1995), 8pp.
  2. (with C.N.G. Dampney)
    Category theory and information systems engineering, AMAST93, University of Twente (1993) 95-103.
  3. (with R. Buckland)
    An application of logic programming in pure mathematics, Australian Computer Science Communications, 15 (1993) 203--208.
  4. Linear term rewriting systems are higher dimensional string rewriting systems, Proc of the Institute for Mathematics and its Applications, 35 (1992) 101--110.
  5. (with C.N.G. Dampney and G.P. Monro)
    A mathematical foundation for ERA, Proc of the Institute for Mathematics and its Applications, 35 (1992) 77--84.
  6. (with R.F.C. Walters)
    Algebra objects and algebra families for finite limit theories, J. of Pure and Applied Algebra 83 (1992) 283--293.
  7. (with S.-H. Sun)
    Remarks on representations of universal algebras by sheaves of quotient algebras, Proc. Canadian Mathematical Society, (1992) 299--307.
  8. (with R.F.C. Walters)
    Category theoretic modelling of digital circuits and systems, Proc. of the Pan-Commonwealth Conference on Mathematical Modelling, Commonwealth Science Council (1992) 199--213.