We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our development builds on the work of Benton and Leperchey, who devised a nominal semantics and a local relational reasoning method for a language with simple types and simple references. Their method uses a parameterized logical r...

We tested the effects of an observational intervention (Greer & Singer-Dudek, 2008) on establishing children's books as conditioned reinforcers using a delayed multiple baseline design. Three preschool students with mild language and developmental delays served as the participants. Prior to the intervention, books did not function as reinforcers for any of the participants. The observational in...

The current tendency is to provide post-approval evidence from separate, often larger and less well controlled trials. Typical examples of these are pragmatic trials (randomisation, little/no control), purely prospective observational trials (no randomisation, no control) and use of historic controls. #3 New study design: Mixed RCT (cont.) In a Mixed RCT patients would be selected and randomise...