External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 15, Issue 1

    5 -- 0Olivier Danvy, Takayasu Ito, Carolyn L. Talcott. Editorial
    7 -- 55Akihiko Tozawa, Masami Hagiya. Formalization and Analysis of Class Loading in Java
    57 -- 90Catarina Coquand. A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
    91 -- 131Hongwei Xi. Dependent Types for Program Termination Verification
    runs on