Volume 35, 2000
Workshop on Domains IV
Rolandseck, Germany, 2-4 October 1998
Andrej Bauer:
Equilogical spaces and domains with totality.
2
Rudolf Berghammer:
Soundness of a purely syntactical formalizationof weakest preconditions.
34-51
Lars Birkedal:
On propositions-as-types in realizability models.
52
Giovanni Curi:
Metric spaces in type theory via formal topology.
53-63
Thomas Ehrhard:
A relative PCF-definability result for strongly stable functions and some corollaries.
64-83
Jürgen Koslowski:
Strategies for games with state - An application of the Chu-construction.
86
John Longley:
Matching typed and untyped realizability.
109-132
Michael Marz:
A fully abstract model for sequential computation.
133-152
Dag Normann:
The Cook-Berger problem - A guide to the solution.
154-162
Dag Normann:
The continuous functionals of finite types over the reals.
163-173
Holger Schulz:
Type two theory of effectivity and Real PCF.
191-203
Werner Struckmann:
A general theorem on the total correctness of programs in a category.
205
Regina Tix:
Convex power constructions for continuous d-cones.
206-229
data released under the ODC-BY 1.0 license
