Learn More
These notes present an approach to obtaining the basic properties of the natural numbers in terms of the properties of finite sets (which are introduced independently of the natural numbers). The role played by the usual recursion theorem is taken over by a construction which can be regarded as a recursion theorem for finite sets.
i This study presents a systematic approach to specifying data objects with the help of initial algebras. The primary aim is to describe the setup to be found in modern functional programming languages such as Haskell and ML, although it can also be applied to more general situations. The 'initial algebra semantics' philosophy has been propagated by the ADJ(More)
Analysis of Artemisia annua extracts by liquid chromatographic methods has traditionally been complicated by the presence of significant quantities of impurities. It has been observed that these impurities often remain as a solid residue after sample reconstitution, but the possibility of artemisinin remaining entrained within this waxy layer has not been(More)
  • Chris Preston
  • Nursing standard (Royal College of Nursing (Great…
  • 1994
We have all either heard it or had it said to us. As she prepares to inject, Julie, the nurse, says: Don't worry, this won't hurt a bit'. Suitably reassured, John, the patient offers an arm and... ouch. Julie lied.