External Links

    Journal: Inf. Comput.

    Volume 71, Issue 1/2

    1 -- 32Werner Damm, Andreas Goerdt. An Automata-Theoretical Characterization of the OI-Hierarchy
    33 -- 86Hirofumi Yokouchi. Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models
    87 -- 94Stanislav Zák. An Exponential Lower Bound for Real-Time Branching Programs
    95 -- 130David B. MacQueen, Gordon D. Plotkin, Ravi Sethi. An Ideal Model for Recursive Polymorphic Types
    131 -- 142Marek Karpinski, Rutger Verbeek. On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation
    runs on