Dale Miller. Foundational proof certificates: making proof universal and permanent. In Alberto Momigliano, Brigitte Pientka, Randy Pollack, editors, Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013. pages 1-2, ACM, 2013. [doi]
Abstract is missing.