On combinatory algebras and their expansions (1984)

by Kim B Bruce, Giuseppe Longo
Venue:Theor. Comput. Sci