[Prev][Next][Index][Thread]

Intellectual history of types



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
-----------------------------------------------------------------------------