@inproceedings{Fiore2009MathematicalSO, title={Mathematical Synthesis of Equational Deduction Systems}, author={Marcelo P. Fiore and Chung-Kil Hur}, booktitle={TLCA}, year={2009} }

- Published 2009 in TLCA
DOI:10.1007/978-3-642-02273-9_1

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

### Presentations referencing similar topics