4 Feb
2003
4 Feb
'03
2:29 a.m.
Hello, I understand (to some degree) full combinatory algebra, but I don't understand the motivation behind the definition of a partial combinatory algebra. E.g. why do we have Sxy converges/is defined? Or Kxy ~ x? Regards, Bill Halchin