On Tuesday 14 October 2003 8:38 pm, Alasdair Urquhart wrote: > The idea of logical types itself is a descendant > of Frege's hierarchy of functions. Can you tell us on what evidence this conclusion is based? -- Roger Jones - rbj01 at rbjones.com plain text email please mail with executable attachments will be discarded