あ、あれ?

最近ちょこちょこ読んでるTypes and Programming Languagesなんですが、どうも全体をパラ見した感じA正規化とかの話題はないっぽい? 或いはλ式の変換式とかでの議論はないっぽい?
ちょっと期待はずれでしょんぼり。
まあパラ見で英語が読めるほど英語力ないので数式とかBNFしか読んでないですからね、見落としてる可能性は高いのです。どっかに載ってる事を期待して読み進めます。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

CAPTCHA