Jump to Content

The Metatheory of UTT

TYPES (1994), pp. 60-82

Abstract

Research Areas