Ketan Mulmuley Fully Abstract Submodels of Typed Lambda Calculi. 2-46 1986 33 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss33.html#Mulmuley86