Recursive relational specifications are commonly used to describe the computational structure of formal systems. Recent research in proof theory has identified two features that facilitate direct, logic-based reasoning about such descriptions: the interpretation of atomic judgments through recursive definitions and an encoding of binding constructs via generic judgments. However, logics encompa...

Nominal rewriting is based on the observation that if we add support for alphaequivalence to first-order syntax using the nominal-set approach, then systems with binding, including higher-order features such as lambda-calculus beta-reduction, can be smoothly represented. Nominal rewriting maintains a strict distinction between variables of the objectlanguage (atoms) and of the meta-language (va...

This paper introduces focus group methodology and discusses its relevance to those researching health care provision. As a qualitative data collection technique, the focus group has advantages over other qualitative methods, such as the in-depth interview and nominal group technique. This paper highlights these advantages after providing guidelines on group composition, the management of group ...