Capretta’s delay monad can be used to model partial computations, but it has the “wrong” notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the “right” notion of equality, weak bisimilarity. However, recent work by Chapman et al. suggests that it is impossible to define a monad structure on the resulting construction in common forms of type theory...

In this paper, I shall argue for a form of partiality in semantics. In particular, I shall argue that semantics, narrowly construed as part of our linguistic competence, is only a partial determinant of content. Likewise, semantic theories in linguistics function as partial theories of content. I shall go on to offer an account of where and how this partiality arises, which focuses on how lexic...

We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic p...

The interface speci cation of a procedure describes the procedure s behavior using pre and postconditions These pre and postconditions are written using various functions If some of these functions are partial or underspeci ed then the procedure speci cation may not be well de ned We show how to write pre and postcondition speci cations that avoid such problems by having the precondition protec...

Matching deformable 3D shapes under partiality transformations is a challenging problem that has received limited focus in the computer vision and graphics communities. With this benchmark, we explore and thoroughly investigate the robustness of existing matching methods in this challenging task. Participants are asked to provide a point-to-point correspondence (either sparse or dense) between ...

The interface speciication of a procedure describes the procedure's behavior using pre-and postconditions. These pre-and postconditions are written using various functions. If some of these functions are partial, or underspec-iied, then the procedure speciication may not be well-deened. We show how to write pre-and postcondition speciications that avoid such problems, by having the precondition...

Moral psychology is often ignored in ethical theory, making applied ethics difficult to achieve in practice. This is particularly true in the new field of animal ethics. One key feature of moral psychology is recognition of the moral primacy of those with whom we enjoy relationships of love and friendship--philia in Aristotle's term. Although a radically new ethic for animal treatment is emergi...

Partial type theories allow reasoning about recursively-defined computations using fixed-point induction. However, fixed-point induction is only sound for admissible types and not all types are admissible in sufficiently expressive dependent type theories. Previous solutions have either introduced explicit admissibility conditions on the use of fixed points, or limited the underlying type theor...