reference required

• To: bra-types@cs.chalmers.se, types@dcs.gla.ac.uk
• Subject: reference required
• From: Larry.Paulson@cl.cam.ac.uk (Larry Paulson)
• Date: Tue, 14 May 96 15:49:20 BST
• Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

Where in Principia Mathematica do Whitehead and Russell discuss
"typical ambiguity"?  This concept has often been claimed to be the
precursor of the modern notion of polymorphism.  I have combed through
my copy and the closest thing I can find is the section entitled
"systematic ambiguity of truth and falsehood" starting on page 41.
However, this discussion seems to concern the order of a proposition
as opposed to its (simple) type.  Moreover I could not find the actual
phrase "typical ambiguity" anywhere.

Please reply by email; I'll circulate any references submitted.  Thanks!
-- 
Lawrence C Paulson, University Lecturer
Computer Laboratory, University of Cambridge,
Pembroke Street, Cambridge CB2 3QG, England
Tel: +44(0)1223 334623    Fax: +44(0)1223 334678

• Prev: NuPrl extract terms
• Next: The 1996 Summer School on Advanced Functional Programming
• Index(es):
  • Main
  • Thread