Results 1  10
of
12
Nondeterminism and Probabilistic Choice: Obeying the Laws
 In Proc. 11th CONCUR, volume 1877 of LNCS
, 2000
"... In this paper we describe how to build semantic models that support both nondeterministic choice and probabilistic choice. Several models exist that support both of these constructs, but none that we know of satisfies all the laws one would like. Using domaintheoretic techniques, we show how models ..."
Abstract

Cited by 33 (2 self)
 Add to MetaCart
(Show Context)
In this paper we describe how to build semantic models that support both nondeterministic choice and probabilistic choice. Several models exist that support both of these constructs, but none that we know of satisfies all the laws one would like. Using domaintheoretic techniques, we show how models can be devised using the "standard model" for probabilistic choice, and then applying modified domaintheoretic models for nondeterministic choice. These models are distinguished by the fact that the expected laws for nondeterministic choice and probabilistic choice remain valid. We also describe some potential applications of our model to aspects of security.
Topological Incompleteness and Order Incompleteness of the Lambda Calculus
 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
, 2001
"... A model of the untyped lambda calculus induces a lambda theory, i.e., a congruence relation on λterms closed under ff and ficonversion. A semantics (= class of models) of the lambda calculus is incomplete if there exists a lambda theory which is not induced by any model in the semantics. In th ..."
Abstract

Cited by 30 (19 self)
 Add to MetaCart
A model of the untyped lambda calculus induces a lambda theory, i.e., a congruence relation on λterms closed under ff and ficonversion. A semantics (= class of models) of the lambda calculus is incomplete if there exists a lambda theory which is not induced by any model in the semantics. In this paper we introduce a new technique to prove the incompleteness of a wide range of lambda calculus semantics, including the strongly stable one, whose incompleteness had been conjectured by BastoneroGouy [6, 7] and by Berline [9]. The main results of the paper are a topological incompleteness theorem and an order incompleteness theorem. In the first one we show the incompleteness of the lambda calculus semantics given in terms of topological models whose topology satisfies a property of connectedness. In the second one we prove the incompleteness of the class of partially ordered models with finitely many connected components w.r.t. the Alexandroff topology. A further result of the paper is a proof of the completeness of the semantics of the lambda calculus given in terms of topological models whose topology is nontrivial and metrizable.
ChoquetKendallMatheron Theorems for NonHausdorff Spaces
 UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2010
"... We establish ChoquetKendallMatheron theorems on nonHausdorff topological spaces. This typical result of random set theory is profitably recast in purely topological terms, using intuitions and tools from domain theory. We obtain three variants of the theorem, each one characterizing distributions ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
We establish ChoquetKendallMatheron theorems on nonHausdorff topological spaces. This typical result of random set theory is profitably recast in purely topological terms, using intuitions and tools from domain theory. We obtain three variants of the theorem, each one characterizing distributions, in the form of continuous valuations, over relevant powerdomains of demonic, resp. angelic, resp. erratic nondeterminism.
Lambda calculus: models and theories
 Proceedings of the Third AMAST Workshop on Algebraic Methods in Language Processing (AMiLP2003), number 21 in TWLT Proceedings, pages 39–54, University of Twente, 2003. Invited Lecture
"... In this paper we give an outline of recent results concerning theories and models of the untyped lambda calculus. Algebraic and topological methods have been applied to study the structure of the lattice of λtheories, the equational incompleteness of lambda calculus semantics, and the λtheories in ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
In this paper we give an outline of recent results concerning theories and models of the untyped lambda calculus. Algebraic and topological methods have been applied to study the structure of the lattice of λtheories, the equational incompleteness of lambda calculus semantics, and the λtheories induced by graph models of lambda calculus.
Local DCPOs, Local CPOs and Local Completions
"... We use a subfamily of the Scottclosed sets of a poset to form a local completion of the poset. This is simultaneously a topological analogue of the ideal completion of a poset and a generalization of the sobrification of a topological space. After we show that our construction is the object level o ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We use a subfamily of the Scottclosed sets of a poset to form a local completion of the poset. This is simultaneously a topological analogue of the ideal completion of a poset and a generalization of the sobrification of a topological space. After we show that our construction is the object level of a left adjoint to the forgetful functor from the category of local cpos to the category of posets and Scottcontinuous maps, we use this completion to show how local domains can play a role in the study of domaintheoretic models of topological spaces. Our main result shows that any topological space that is homeomorphic to the maximal elements of a continuous poset that is weak at the top also is homeomorphic to the maximal elements of a bounded complete local domain. The advantage is that continuous maps between such spaces extend to Scottcontinuous maps between the modeling local domains.
Powerdomains and Zero Finding
, 2002
"... Traditionally, powerdomains have been used to provide models for various forms of nondeterminism in semantics. We establish a similar analogy between zero nding methods in numerical analysis and powerdomains: Different powerdomain constructions correspond to dierent types of behavior exhibited by n ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Traditionally, powerdomains have been used to provide models for various forms of nondeterminism in semantics. We establish a similar analogy between zero nding methods in numerical analysis and powerdomains: Different powerdomain constructions correspond to dierent types of behavior exhibited by numerical methods for zero finding. By combining this observation with the basic quantitative paradigm provided by measurement, a simple and uniform method for analyzing zero finding algorithms is obtained.
Scottdomain representability of a class of generalized ordered spaces
 Topology Proceedings
"... Many important topological examples (the Sorgenfrey line, the Michael line) belong to the class of GOspaces constructed on the usual set R of real numbers. In this paper we show that every GOspace constructed on the real line, and more generally, any GOspace constructed on a locally compact LOTS, ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Many important topological examples (the Sorgenfrey line, the Michael line) belong to the class of GOspaces constructed on the usual set R of real numbers. In this paper we show that every GOspace constructed on the real line, and more generally, any GOspace constructed on a locally compact LOTS, is Scottdomain representable, i.e., is homeomorphic to the space of maximal elements of some Scott domain with the Scott topology. MR Classifications: primary = 54F05; secondary = 54D35,54D45,54D80, 06F30
Konnektivität molekularer Domänen bei der kraftinduzierten Entfaltung einzelner
, 2012
"... ii Erstgutachter: Prof. Dr. Hermann E. Gaub Zweitgutachter: Prof. Dr. Tim Liedl ..."
Abstract
 Add to MetaCart
(Show Context)
ii Erstgutachter: Prof. Dr. Hermann E. Gaub Zweitgutachter: Prof. Dr. Tim Liedl
cfl2004 Published by Elsevier
"... 2 Abstract. Synthetic topology as conceived in this monograph has three fundamental aspects: 1. to explain what has been done in classical topology in conceptual terms, 2. to provide oneline, enlightening proofs of the theorems that constitute the core of the theory, and 3. to smoothly export topol ..."
Abstract
 Add to MetaCart
2 Abstract. Synthetic topology as conceived in this monograph has three fundamental aspects: 1. to explain what has been done in classical topology in conceptual terms, 2. to provide oneline, enlightening proofs of the theorems that constitute the core of the theory, and 3. to smoothly export topological concepts and theorems to unintended situations, keeping the synthetic proofs unmodified.
Under consideration for publication in Math. Struct. in Comp. Science Logical Relations for Monadic Types †
, 2005
"... Logical relations and their generalizations are a fundamental tool in proving properties of lambdacalculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with the monadic types of Moggi’s computational lambdacalculus. Th ..."
Abstract
 Add to MetaCart
(Show Context)
Logical relations and their generalizations are a fundamental tool in proving properties of lambdacalculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with the monadic types of Moggi’s computational lambdacalculus. The treatment is categorical, and is based on notions of subsconing, mono factorization systems, and monad morphisms. Our approach has a number of interesting applications, including cases for lambdacalculi with nondeterminism (where being in logical relation means being bisimilar), dynamic name