Formal Structures for Computation and Deduction