Gordon D. Plotkin Set-Theoretical and Other Elementary Models of the lambda-Calculus. 351-409 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#Plotkin93