Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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)
Fiore, M.: Algebraic theories and equational logics. In: Invited tutorial at the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPSÂ XXIV (2008), http://www.cl.cam.ac.uk/~mpf23/
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)
Hur, C.-K.: Categorical Equational Systems: Algebraic Models and Equational Reasoning. Forthcoming PhDÂ thesis. Computer Laboratory, University of Cambridge (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fiore, M., Hur, CK. (2009). Mathematical Synthesis of Equational Deduction Systems. In: Curien, PL. (eds) Typed Lambda Calculi and Applications. TLCA 2009. Lecture Notes in Computer Science, vol 5608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02273-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-02273-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02272-2
Online ISBN: 978-3-642-02273-9
eBook Packages: Computer ScienceComputer Science (R0)