Mathematical Synthesis of Equational Deduction Systems

@inproceedings{Fiore2009MathematicalSO,
  title={Mathematical Synthesis of Equational Deduction Systems},
  author={Marcelo P. Fiore and Chung-Kil Hur},
  booktitle={TLCA},
  year={2009}
}
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… CONTINUE READING