Intellectual history of types

• To: types@cis.upenn.edu
• Subject: Intellectual history of types
• From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
• Date: Thu, 15 Feb 2001 11:40:06 EST
• Reply-to: bcpierce@cis.upenn.edu

I'm looking for a good overview of the roles played by notions of type in
logic, philosophy, and science in this century.  

Anybody got any recommendations?

      - B

-----------------------------------------------------------------------------
BENJAMIN C. PIERCE
Associate Prof., Computer & Information Science        bcpierce@cis.upenn.edu
University of Pennsylvania                                    +1 215 898-2012
200 South 33rd St.                                       Fax: +1 215 898-0587
Philadelphia, PA 19104, USA                http://www.cis.upenn.edu/~bcpierce
-----------------------------------------------------------------------------

• Prev: CFP: JLAP special issue on pi-calculus
• Next: Re: Intellectual history of types
• Index(es):
  • Main
  • Thread