Information and Computation, Volume 93

Volume 93, Number 1, 1991

Rohit Parikh: Preface. iii BibTeX
Mitchell Wand: Type Inference for Record Concatenation and Multiple Inheritance. 1-15 BibTeX
Michael W. Mislove, Lawrence S. Moss, Frank J. Oles: Non-Well-Founded Sets Modeled as Ideal Fixed Points. 16-54 BibTeX
Eugenio Moggi: Notions of Computation and Monads. 55-92 BibTeX
Daniel Leivant: Finitely Stratified Polymorphism. 93-113 BibTeX
Yiannis N. Moschovakis: A Model of Concurrency with Fair Merge and Full Recursion. 114-171 BibTeX
Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion. 172-221 BibTeX

William Aiello, Johan Håstad: Relativized Perfect Zero Knowledge Is Not BPP. 223-240 BibTeX
Pierluigi Crescenzi, Alessandro Panconesi: Completeness in Approximation Classes. 241-262 BibTeX
Solomon Passay, Tinko Tinchev: An Essay in Combinatory Dynamic Logic. 263-332 BibTeX
H. James Hoover: Real Functions, Contraction Mappings and P-Completeness. 333-349 BibTeX