[FOM] Answer to Jaap van Oosten

[José Félix Costa]

«I know that Schönfinkel (and later Curry) invented total combinatory
algebras... But the definition appears in the Ph.D. thesis of Andy Pitts
(1980).»

That partiality can be coded in Schönfinkel and Engeler's combinatorial
algebras is shown in the Diploma Thesis at address
http://fgc.math.ist.utl.pt/papers/lambda.pdf (co-advised by me and Henk
Barendregt). I presume that either Professor Barendregt or Andrew Pitts can
tell the whole story.

+++++++++++++++++++++++++++++++++++++++++++++++
J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm
+++++++++++++++++++++++++++++++++++++++++++++++