あー『プログラミング言語の基礎理論』わからん。あきらめて他の本を読もう…。というわけで龍田真著『型理論』を読み始める。マルチポストのメールには基本的に返信をしないという制限を課しているので、たまに他人に迷惑をかけてしまうことがあります。今日…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。