Information and Computation, Volume 99

Volume 99, Number 1, 1992

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

Volume 99, Number 2, 1992

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