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
  

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 update Mon Feb 13 04:48:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page