Displaying similar documents to “Type-invariance and h-retraction”