Checking Algorithms for Pure Type Systems (1993)

by van Benthem Jutting, L S, J McKinna, R Pollack