type theory in Czech
type theory in Czech
teorie typů
(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.