Types for 0, 1 or many uses. Updated and corrected version of [Mog97]. Obtained from author (1998)

by Mogensen