Syntactic type checking using Scott retraction maps - Schmidt, David A. (1982)