Masako Takahashi Lambda-Representable Functions Over Term Algebras. 3-29 2001 12 Int. J. Found. Comput. Sci. 1 db/journals/ijfcs/ijfcs12.html#Takahashi01