自分で参照する都合で小さなリンク集を作った； 僕の興味はたぶん次のようなキーワードで示せるのでしょう。 メイヤー 「本文」「目次」 ホーア「本文」「目次」 型理論 「本文」「目次」 インスティチューション 「本文」「目次」 シーケント 「本文」「目…