Mathematical Synthesis of Equational Deduction Systems

  title={Mathematical Synthesis of Equational Deduction Systems},
  author={Marcelo P. Fiore and Chung-Kil Hur},
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