Postponement of Expansion in Pure Type Systems (1992)

by van Benthem Jutting, B