External Links

    Journal: Inf. Comput.

    Volume 99, Issue 2

    123 -- 153M. V. H. Fairtlough, S. S. Wainer. Ordinal Complexity of Recursive Definitions
    154 -- 177Gerard R. Renardel de Lavalette. Strictness Analysis via Abstract Interpretation for Recursively Defined Types
    178 -- 191Philippe Darondeau, Serge Yoccoz. Proof Systems for Infinite Behaviours
    192 -- 230Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine. A Denotational Theory of Synchronous Reactive Systems
    231 -- 264Christian-Emil Ore. The Extended Calculus of Constructions (ECC) with Inductive Types

    Volume 99, Issue 1

    1 -- 79Andrea Asperti, Simone Martini. Categorical Models of Polymorphism
    80 -- 108Kim Guldstrand Larsen, Robin Milner. A Compositional Protocol Verification Using Relativized Bisimulation
    109 -- 121J. M. Robson. Deterministic Simulation of a Single Tape Turing Machine by a Random Access Machine in Sub-linear Time
    runs on