Environment models

simply typed lambda calculusのdenotational semanticsとして、environmental modelsとmodels based on cartesian closed categoriesがあるそうで、そのenvironmental modelsの簡単な説明を読んだのだけど、どこがどうsimply typed lambda calculusなのかよく分からない。
分かりやすい解説ってないかな。