and R.Pollack, Checking Algorithms for Pure Type Systems, Manuscript (0)

by L S van Benthem Jutting, J McKinna