type theory

concept in mathematical logic and computer science

en-US/ˈtaɪp ˌθiəˌɹi/
en-GB/ˈtaɪp θɪəɹiː/

دسته بندی ها:

area of mathematicsformal system