Mathematical Synthesis of Equational Deduction Systems

  • Marcelo Fiore
  • Chung-Kil Hur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5608)


Our view of computation is still evolving. The concrete theories for specific computational phenomena that are emerging encompass three aspects: specification and programming languages for describing computations, mathematical structures for modelling computations, and logics for reasoning about properties of computations. To make sense of this complexity, and also to compare and/or relate different concrete theories, meta-theories have been built. These metatheories are used for the study, formalisation, specification, prototyping, and testing of concrete theories.


  1. 1.
    Fiore, M., Hur, C.-K.: On the construction of free algebras for equational systems. In: Special issue for Automata, Languages and Programming (ICALP 2007). Theoretical Computer Science, vol. 410, pp. 1704–1729. Elsevier, Amsterdam (2009)Google Scholar
  2. 2.
    Fiore, M., Hur, C.-K.: Term equational systems and logics. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). Electronic Notes in Theoretical Computer Science, vol. 218, pp. 171–192. Elsevier, Amsterdam (2008)Google Scholar
  3. 3.
    Fiore, M.: Algebraic theories and equational logics. In: Invited tutorial at the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIV (2008),
  4. 4.
    Fiore, M.: Second-order and dependently-sorted abstract syntax. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp. 57–68. IEEE Computer Society Press, Los Alamitos (2008)CrossRefGoogle Scholar
  5. 5.
    Hur, C.-K.: Categorical Equational Systems: Algebraic Models and Equational Reasoning. Forthcoming PhD thesis. Computer Laboratory, University of Cambridge (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Marcelo Fiore
    • 1
  • Chung-Kil Hur
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeUK

Personalised recommendations