Information and Computation, Volume 127

Volume 127, Number 1, 25 May 1996

Vladimir V. V'yugin: Bayesianism: An Algorithmic Analysis. 1-10
Pietro Di Gianantonio: Real Number Computability and Domain Theory. 11-25
Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. 26-40
Walter Vogler: The Limit of Split_n-Language Equivalence. 41-61

Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). 65
Andrew M. Pitts: Relational Properties of Domains. 66-90
Parosh Aziz Abdulla, Bengt Jonsson: Verifying Programs with Unreliable Channels. 91-101
John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ Weak Polymorphism and Imperative Constructs. 102-116
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson: Database Query Languages Embedded in the Typed Lambda Calculus. 117-144
Stephen D. Brookes: Full Abstraction for a Shared-Variable Parallel Language. 145-163
André Joyal, Mogens Nielsen, Glynn Winskel: Bisimulation from Open Maps. 164-185
Marcelo P. Fiore: A Coinduction Principle for Recursive Data Types Based on Bisimulation. 186-198