The Metatheory of UTT

TYPES (1994), pp. 60-82

Abstract