Information and Computation, Volume 93

Volume 93, Number 1, 1991

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

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