type theory

concept in mathematical logic and computer science

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

ক্যাটাগরি:

area of mathematicsformal system