[FOM] Answer to Jaap van Oosten

José Félix Costa fgc at math.ist.utl.pt
Mon Dec 19 07:43:40 EST 2005

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

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

More information about the FOM mailing list