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

Volume 93, Number 2, 1991

• 
  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

last updated on Fri May 24 06:05:09 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page