Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2--4, 1998 (Q1585420)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Curi, Giovanni}, Formal topologies with weight and distance. A predicative framework for analysis, 11 p., electronic only [Zbl 0963.68043] \textit{Normann, Dag}, The continuous functionals of finite types over the reals, 11 p., electronic only [Zbl 0962.68102] \textit{Heckmann, Reinhold}, Separation classes of equilogical spaces, 13 p., electronic only [Zbl 0963.68100] \textit{Schulz, Holger}, Type two theory of effectivity and real PCF, 13 p., electronic only [Zbl 0962.68103] \textit{Sambin, Giovanni}, Formal topology and domains, 14 p., electronic only [Zbl 0962.68098] \textit{Valarcher, Pierre}, Intensional semantics of system \(T\) of Gödel, 14 p., electronic only [Zbl 0962.68100] \textit{Larchey-Wendling, D.; Galmiche, D.}, Quantales as completions of ordered monoids. Revised semantics for intuitionistic linear logic, 15 p., electronic only [Zbl 0963.68101] \textit{Berghammer, Rudolf}, Soundness of a purely syntactical formalization of weakest preconditions, 18 p., electronic only [Zbl 0962.68101] \textit{Ehrhard, Thomas}, A relative PCF-definability result for strongly stable functions and some corollaries, 20 p., electronic only [Zbl 0962.68039] \textit{Marz, Michael}, A full abstract model for sequential computation, 20 p., electronic only [Zbl 0962.68095] \textit{Longley, John}, Matching typed and untyped realizability. (Extended abstract), 24 p., electronic only [Zbl 0962.68088] \textit{Tix, Regina}, Convex power constructions for continuous \(d\)-cones, 24 p., electronic only [Zbl 0962.68064] \textit{Berardi, S.; Berline, C.}, Building continuous webbed models for system \(F\), 31 p., electronic only [Zbl 0968.68087] \textit{Künzi, H. P.; Schellekens, M. P.}, The ideal completion is not sequentially adequate, 7 p., electronic only [Zbl 0962.68125] \textit{Normann, Dag}, The Cook-Berger problem. A guide to the solution, 9 p., electronic only [Zbl 0962.68023] \textit{Bauer, Andrej}, Equilogical spaces and domains with totality, no pag., electronic only [Zbl 0962.68097] \textit{Birkedal, Lars}, On propositions-as-types in realizability models, no pag., electronic only [Zbl 0962.68037] \textit{Elbl, Birgit}, Justifying control for logic programs, no pag., electronic only [Zbl 0962.68025] \textit{Ershov, Y. L.}, Sigma predicates of finite types, no pag., electronic only [Zbl 0962.68038] \textit{Koslowski, Jürgen}, Strategies for games with state. An application of the Chu-construction, no pag., electronic only [Zbl 1032.91540] \textit{Niggl, Karl-Heinz}, Characterizing polytime through higher type recursion, no pag., electronic only [Zbl 0962.68036] \textit{van Oosten, J.; Simpson, A. K.}, Some axiomatic results in synthetic domain theory, no pag., electronic only [Zbl 0968.68088] \textit{Pollara, Victor J.}, Free SFP-algebras for truncation-closed sets of inequations, no pag., electronic only [Zbl 0962.68087] \textit{Scott, Dana}, Effective versions of equilogical spaces, no pag., electronic only [Zbl 0962.68096] \textit{Struckmann, Werner}, A general theorem on the total correctness of programs in a category, no pag., electronic only [Zbl 0968.68086]