Information and Computation, Volume 143

Volume 143, Number 1, May 25, 1998

Paula Severi: Type Inference for Pure Type Systems. 1-23 BibTeX
Beate Bollig, Ingo Wegener: Completeness and Non-Completeness Results with Respect to Read-Once Projections. 24-33 BibTeX
Davide Sangiorgi: An Interpretation of Typed Objects into Typed pi-Calculus. 34-73 BibTeX
Franco Montagna: Investigations on Measure-One Identification of Classes of Languages. 74-107 BibTeX

Special Issue from the workshop on Logic and Computational Complexity (LCC), Indiana University, October 1994

Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu: Reflective Relational Machines. 110-136 BibTeX
Robert L. Constable: A Note on Complexity Measures for Inductive Classes in Constructive Type Theory. 137-153 BibTeX
Anuj Dawar: A Restricted Second Order Logic for Finite Structures. 154-174 BibTeX
Jean-Yves Girard: Light Linear Logic. 175-204 BibTeX
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. 205-230 BibTeX
Steven Lindell: A Constant-Space Sequential Model of Computation for First-Order Logic. 231-250 BibTeX