Lambda calculus is well established as the formal model of functional programming. Non-determinism is an interesting conceptual issue, often considered in process-calculi. It is interesting to mix lambda-calculus and non-determinism, firstly because programmers use functional programming but also concurrent methods, networks and multi-users systems, secondly as a step towards more complex langu...

This survey paper is designed to review the literature on unambiguous computation. Broadly speaking, studying unambiguous computation is an attempt to determine how much of the power of non-determinism comes from the ability to accept many di↵erent proofs of the same statement. The literature on this subject is of both practical and philosophical interest, and the Isolating lemma of Mulmuley, V...

In Model-Driven Engineering, the potential advantages of using bidirectional transformations are largely recognized. Despite its crucial function, bidirectionality has somewhat limited success also because of the ambivalence concerning non-bijectivity. In fact, in certain situations more than one admissible solution is in principle possible, despite most of the current languages generate only o...

This paper proposes a general powerdomain for countable nDndeterminism and uses it to give the denotational semantics of a simple imperative programming language with a fair parallel construct. As already known from the simple case of a discrete cpo [AP] countable nondeterminism seems to force the consideration of non-continuous functions. In the classical Scott-Strachey approach only continuou...

1 Michal Armoni, The Open University of Israel and Tel-Aviv University, 16 Klausner St., Ramat -Aviv, P.O. Box 39328, Tel-Aviv, 61392, Israel, [email protected] 2 Judith Gal-Ezer, The Open University of Israel, 16 Klausner St., Ramat-Aviv, P.O. Box 39328, Tel-Aviv, 61392, Israel, [email protected] Abstract One of the units in the relatively new high school CS curriculum which is being implem...

This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well as motor noise. In addition, it incorporates two significant technical advances. The use of determining fluents to deal with non-determinism obviates the need for a special form of abduction, and the use of uncertain ...