Volume 35, 2000 Workshop on Domains IV
Rolandseck, Germany, 2-4 October 1998
: Equilogical spaces and domains with totality.
: Soundness of a purely syntactical formalizationof weakest preconditions.
: On propositions-as-types in realizability models.
: Metric spaces in type theory via formal topology.
: A relative PCF-definability result for strongly stable functions and some corollaries.
: Strategies for games with state - An application of the Chu-construction.
: Matching typed and untyped realizability.
: A fully abstract model for sequential computation.
: The Cook-Berger problem - A guide to the solution.
: The continuous functionals of finite types over the reals.
: Type two theory of effectivity and Real PCF.
: A general theorem on the total correctness of programs in a category.
: Convex power constructions for continuous d-cones.