Acceptable programming systems have many nice properties like s-m-n-Theorem, Composition and Kleene Recursion Theorem. Those properties are sometimes called control structures, to emphasize that they yield tools to implement programs in programming systems. It has been studied, among others by Riccardi and Royer, how these control structures influence or even characterize the notion of acceptab...

Acceptable logic programs have been studied extensively in the context of proving termination of Prolog programs. It is diicult, however, to establish acceptability from the deenition since this depends on nding a suitable model, which need not be a Herbrand model in general, together with a suitable level mapping that one can use to check the conditions which characterize acceptability. In thi...

Roughly three decades ago, the political dimensions of decision making about the technological hazards embedded in contemporary societies became publicly visible, provoking the emergence of a new politics of risk. Public controversies about what constituted “acceptable risk,” and who should decide and how, proliferated in a wide range of technical domains. Social movements challenged expert def...

This study focuses on how founding institutions impact intraorganizational capabilities and how such imprints may have different external manifestations in subsequent historical eras. We introduce the concept of exaptation to organizational theory, identifying an important process whereby the historical origin of a capability differs from its current usefulness. Three founding conditions—branch...