[TYPES] Oops

Jonathan Seldin jonathan.seldin at uleth.ca
Fri Mar 17 14:18:45 EST 2006


In my previous message, I should have given the date for Combinatory  
Logic, vol. II as 1972, not 1968.

I might also mention that the section of the book involved was mainly  
Curry's work.

Jonathan P. Seldin                                     tel: 403-329-2364
Department of Mathematics and Computer Science  jonathan.seldin at uleth.ca
University of Lethbridge                              seldin at cs.uleth.ca
4401 University Drive                    http://www.cs.uleth.ca/~seldin/
Lethbridge, Alberta, Canada, T1K 3M4




More information about the Types-list mailing list