キマイラ飼育記のキーワード

自分で参照する都合で小さなリンク集を作った； 僕の興味はたぶん次のようなキーワードで示せるのでしょう。

• メイヤー 「本文」「目次」
• ホーア「本文」「目次」
• 型理論 「本文」「目次」
• インスティチューション 「本文」「目次」
• シーケント 「本文」「目次」
• 仕様記述 「本文」「目次」

次の2つの語は一般的過ぎるかも。ヒットが多すぎる。

• 論理 「本文」「目次」
• ラムダ 「本文」「目次」