Definition of the concept "vector" in set theoretic programming languages

Abstract

A basic set of data types for a set theoretic programming language is presented. The emphasis is on a certain definition of vector in terms of sets. The definition is contrasted with other methods of defining vectors in terms of sets, such as Kuratowski's device. © 1976.