Volume 143, Number 1, May 25, 1998
: An Interpretation of Typed Objects into Typed pi-Calculus.
: Investigations on Measure-One Identification of Classes of Languages.
Volume 143, Number 2, June 15, 1998
Special Issue from the workshop on Logic and Computational Complexity (LCC), Indiana University, October 1994
Robert L. Constable
: A Note on Complexity Measures for Inductive Classes in Constructive Type Theory.
: A Restricted Second Order Logic for Finite Structures.
: A Constant-Space Sequential Model of Computation for First-Order Logic.