The TRELLYS project has produced several designs for practical dependently typed languages. These languages are broken into two fragments—a logical fragment where every term normalizes and which is consistent when interpreted as a logic, and a programmatic fragment with general recursion and other convenient but unsound features. In this paper, we present a small example language in this style....

The purpose of this qualitative study is to pave the way for the establishment of healthy interpersonal relations by facilitating an understanding of the impacts of Lions Quest Skills for Adolescence as perceived by adolescents and teachers who took part in it. Lions Quest has become recognized as an evidence-based program for preventing alcohol and drug use through the development of social sk...

A widely observed phenomenon in children’s word-extensions and generalizations is the characteristic-to-defining shift, whereby young children initially generalize words based on typical properties and gradually transition into generalizing words using abstract, logical information. In this paper, we propose a statistically principled model of conceptual development grounded in the trade-off be...

Private communication has been a concern throughout history. People have developed many clever ways to send secret messages to their partners in business, politics, war, and adultery. In the age of computer communication, we assume that anyone may examine the bits flying around the internet, and we use mathematical techniques to scramble the bits in our message so that it is intelligible only a...

This article aims at contributing to the understanding of the trust–control nexus. The objective is to bring the discussion around the relationship between both concepts a step further by identifying common foundations, distinctive mechanisms and key implications relevant for theorybuilding and empirical research on trust and control. First, the concept of trust and related concepts are introdu...

y view on justice in regard to health is distinctive in two ways. First, I hold that the strength of our moral reasons to prevent or to mitigate particular medical conditions does not depend only on what one might call distributional factors, such as how badly off the people affected by these conditions are in absolute and relative terms, how costly prevention or treatment would be, and how muc...

We investigate a calculus with positive inductive and coin-ductive types , which we call ;; , using logical relations. We show that parametric theories have the strong categorical properties, that the rep-resentable functors and natural transformations have the expected properties. Finally we apply the theory to show that terms of functorial type are almost canonical and that monotone inductive...

Antitrust litigation involving hospitals is common. This paper describes recent developments and underlying issues in antitrust law with respect to hospital-hospital relations, hospital-physician relations, and hospital-payer relations. A key unanswered question in each of these areas is how government regulation and public purchasing affect competitive markets for hospital services.

We distinguish two sub-types of each of the two causality principles formulated in connection with the Common Cause Principle in [Hen05] and raise and investigate the problem of logical relations among the resulting four causality principles. Based in part on the analysis of the status of these four principles in algebraic quantum field theory we will argue that the four causal principles are n...

This article describes how science and law were called upon (and failed) to resolve a controversy that created a painful rift between the Israeli State and some of its elite soldiers. The controversy, which came to be known as "the Kishon affair," erupted in 2000, when veterans of an elite and secretive unit in the Israeli navy claimed that pollution in the Kishon River where they had trained a...