Buy Me a Coffee at ko-fi.com

Type theory

concept in mathematical logic and computer science

Pronunciation
/taɪp ˈθɪri/
/tʌɪp ˈθɪəri/