Henry McLoughlin

Learn More
The integration of formal methods into the undergraduate curriculum has been slow considering the benefits they offer. One reason for this is that the limited number of relevant textbooks, although excellent, are rather terse. As a result, we have developed various techniques for teaching formal programming in which each step is fully justified by appealing(More)
Encapsulated nerve endings in the hairy skin of mice were identified by means of cholinesterase histochemistry. They were especially numerous in the dorsal skin of the ear and where totals ranged from 150 to 597; clustering of corpuscles was an obvious feature. The use of silver impregnation as a counterstain revealed that clusters comprised one or more(More)
We consider some simple optimisation problems and employ a non-traditional method to solve them. We try to model both the problem and solution domains as algebraic structures, attempting to characterise the join operations on these domains. In each of the examples chosen, these structures turn out to be monoids and we make use of the homomorphisms between(More)
  • 1