Author:Geoff Hamilton

Publications
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem Geoff Hamilton and Morten Heine Sørensen In:VPT 2014. Second International Workshop on Verification and Program Transformation
On the Termination of Positive Supercompilation Geoff Hamilton In:VPT 2013. First International Workshop on Verification and Program Transformation
Cyclic Proofs and Coinductive Principles Gavin Mendel-Gleason and Geoff Hamilton In:PAR-10. Partiality and Recursion in Interactive Theorem Provers