Typechecking dependent types. Privately circulated manuscript (1998)

by T Coquand