- Full text PDF available (6)
- This year (0)
- Last 5 years (1)
- Last 10 years (8)
Journals and Conferences
These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.
The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.
These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.
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.
This note presents an approach to obtaining monoid operations which are compatible with a given family of mappings. This can be applied to the addition on the natural numbers defined within the framework of the Peano axioms as well as to the concatenation of lists.
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)
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.