catflap.org Online Dictionary Query |
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
type theory
n.
(lb en mathematics computer science) A branch of mathematical logic
and theoretical computer science concerned with types.
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
type theory
n.
(lb en mathematics computer science) A branch of mathematical logic
and theoretical computer science concerned with types.
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
type theory
n.
(lb en mathematics computer science) A branch of mathematical logic
and theoretical computer science concerned with types.
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
type theory
n.
(lb en mathematics computer science) A branch of mathematical logic
and theoretical computer science concerned with types.
From English-suomi FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-fin ]type theory /tˈaɪp θˈiəɹi/tyyppiteoria branch of logic and computer science