Type theory
of
Logic
taught at
COPA
Collection of Terminologies
for subject of
Type theory
No terms have been entered