PVSの前にもっと理論について詳しくならないと
だめだなあと思って、>>130さんの言っている
プログラミング言語理論への招待を再び読み始めました。
初等数学、抽象構文、形式意味論入門、λという5章までを
なんとか理解しようと何回も読んで問題解いたりしてます。
本を半分にぶっちぎって仕事中も読んでます（藁

ところでこれの演習問題の模範解答ってどこかに
ないかな？ちまちま生成規則を書いたりしてるのは
いいんだけど、どうもあってるかどうか自信無し…
海外のサイトでもいいのでもしあれば教えてください。
自分でも探したのですが、見当たりませんでした。
またはこれに似たような本で大学のテキストとして
使われている（答えも公開されている）ようなものが
あればおしえてください。