The following 1 experts are listed against your chosen search criteria of:
Prof Edmund Robinson
My research links logic and computer science, often using the technology of category theory, sometimes overtly, sometimes covertly. Most of my recent work has been on the combinatorial structure of mathematical proofs. I was able to extend a net-theoretic formalism from sub-structural logic to full classical logic, an extension that was previously believed to be impossible. This formalism removes inessential choices about the ordering of stages in the proof and hence allows a more canonical representation.