Fritz Henglein Dynamic Typing: Syntax and Proof Theory. 197-230 1994 22 Sci. Comput. Program. 3 db/journals/scp/scp22.html#Henglein94