English Español Français Deutsch Italiano Português Русский 日本語 한국어 العربية हिन्दी Türkçe

🔍

Type theory

Noun

Definitions

1.NounA branch of mathematical logic and theoretical computer science concerned with types.

Synonyms

type category theory set theory domain theory number theory theory computational number theory field theory operator theory recursion theory pattern theory information theory

🔗 Find words with "type theory" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.