type theory in Polish
type theory in Polish
teoria typów
(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.