タイプりろん

タイプ理論

表記・読み：タイプりろん

1. 1

   theory of types

   名詞logic