External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 41, Issue 3

    1 -- 19Simon Helsen, Peter Thiemann. Syntactic Type Soundness for the Region Calculus
    20 -- 34Yasuhiko Minamide. A New Criterion for Safe Program Transformations
    35 -- 49Roberto Virga. Efficient Substitution in Hoare Logic Expressions
    50 -- 69Michael Baldamus. First-order Semantics for Higher-order Processes
    70 -- 88Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo. Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
    89 -- 0Alan Jeffrey. Preface
    runs on