[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