Dale Miller: A Proposal for Broad Spectrum Proof Certificates. CPP 2011: 54-69