Dana S. Scott A Type-Theoretical Alternative to ISWIM, CUCH, OWHY. 411-440 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#Scott93