External Links

    Journal: Int. J. Found. Comput. Sci.

    Volume 2, Issue 1

    1 -- 21Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin. Faithful Ideal Models for Recursive Polymorphic Types
    23 -- 41Thomas Wilmes. Functional Production Systems Viewed as Grammars
    43 -- 65Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk. Uniform Algebraic Specifications of Finite Sets with Equality
    67 -- 76Jin-yi Cai, Merrick L. Furst. PSPACE Survives Constant-Width Bottlenecks
    77 -- 82Viktória Zankó. #P-Completeness via Many-One Reductions
    runs on