type theory (English, noun)
expansion: type theory (usually uncountable, plural type theories)
Senses:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: A branch of mathematical logic and theoretical computer science concerned with types.
tags: uncountable
usually
Forms:
form: type theories
tags: plural