Checking Algorithms for Pure Type Systems. - L. S. van Benthem Jutting; James McKinna; Robert Pollack (TYPES, 1993)

Typing in Pure Type Systems - L. S. van Benthem Jutting (Inf. Comput., 1993)