Order Sorted Computer Algebra and Coercions Order Sorted Computer Algebra and Co ercions submitted byNicolas James Doye for the degree of PhD of theUniversity of Bath