Mathematical Synthesis of Equational Deduction Systems

Authors:
Marcelo Fiore;Chung-Kil Hur
Affiliations:
Computer Laboratory, University of Cambridge,;Computer Laboratory, University of Cambridge,
Venue:
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Year:
2009

Citing 3
Cited 0

Second-Order and Dependently-Sorted Abstract Syntax

LICS '08 Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science
Term Equational Systems and Logics

Electronic Notes in Theoretical Computer Science (ENTCS)
On the construction of free algebras for equational systems

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.