Formalization and Analysis of Class Loading in Java Akihiko TozawaMasami Hagiya OriginalPaper Pages: 7 - 55
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions Catarina Coquand OriginalPaper Pages: 57 - 90