型理論

た・りろんkata·riron3

N.
EDV Typentheorie f f.