The Structure of Nuprl's Type Theory The Structure of Nuprl s Typ e TheoryRob ert L ConstableCornell UniversityIthaca NY