External Links

    Journal: Formal Asp. Comput.

    Volume 9, Issue 1

    1 -- 48Marc Bezem, Roland N. Bol, Jan Friso Groote. Formalizing Process Algebraic Verifications in the Calculus of Constructions
    49 -- 67Jens Palsberg, Mitchell Wand, Patrick O Keefe. Type Inference with Non-Structural Subtyping
    68 -- 77Matthew J. A. Caswell. Equivalence of Formal Semantics Definition Methods
    78 -- 97Susumu Nishimura. A Strict Functional Language with Cyclic Recursive Data
    98 -- 118Stein Krogdahl, Olav Lysne. Verifying a Distributed List System: A Case History
    runs on