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