3rd MFPS 1987: Tulane University, New Orleans, Louisiana, USA

Categorical and Algebraic Methods

Structure Theory of Continuous Posets and Related Objects

Domain Theory

Domain Theory and Theoretical Computation

Implemetation Issues

New Directions

a service of Schloss Dagstuhl - Leibniz Center for Informatics