External Links

    Journal: Formal Asp. Comput.

    Volume 7, Issue 2

    113 -- 149Naoki Kobayashi, Akinori Yonezawa. Asynchronous Communication Model Based on Linear Logic
    150 -- 168J. Michael Spivey. Unification: A Case-Study in Data Refinement
    169 -- 182Ingrid Rewitzky, Chris Brink. Predicate Transformers as Power Operations
    183 -- 206Sunil Vadera. Proof by Analogy in Mural
    207 -- 225Bryan S. Todd, Richard Stamper. A Formal Model of Explanation
    runs on