Go backward to Multidimensional Arrays Go up to Top Go forward to System of Type Declarations

Multidimensional Arrays

• access-array is represented by infinite function expression.
• By using pair representation of disjoint union elements, operation is convertible to finite, computable format.
• Operation performs one-level indexing on array a returning another array if a has more than one dimension.
• Still model is to clumsy to be used in practice.

Real programming languages allow arrays of numbers, record structures, sets, ...!