Category:型理論

ナビゲーションに移動 検索に移動

型理論 (タイプ・セオリー Type theory)に関するカテゴリ。

下位カテゴリ

このカテゴリには下位カテゴリ 2 件が含まれており、そのうち以下の2 件を表示しています。