かたりろん

型理論

表記・読み：かたりろん

1. 1

   type theory

   名詞mathematicscomputing