Book on Curry-Howard Isomorphism

13 Jan 1995


      I believe there is a new book out on the Curry-Howard
Isomorphism, but I have lost the announcement.  If someone can
give me the details, I would like to order it for the CWRU
library.  Thanks,


-- 
Charles Wells
Department of Mathematics, Case Western Reserve University
10900 Euclid Avenue, Cleveland, OH 44106-7058, USA
216 368 2893