Information and Computation, Volume 143

Volume 143, Number 1, May 25, 1998

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

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
Robert L. Constable: A Note on Complexity Measures for Inductive Classes in Constructive Type Theory. 137-153
Anuj Dawar: A Restricted Second Order Logic for Finite Structures. 154-174
Jean-Yves Girard: Light Linear Logic. 175-204
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. 205-230
Steven Lindell: A Constant-Space Sequential Model of Computation for First-Order Logic. 231-250