On effectively discontinuous type-2 objects (0)

by T J Grilliot
Venue:1971). AND MATHEMATICAL USES OF HIGHER TYPES 29