A logical basis for nested array data structures

This publication has 4 references indexed in Scilit:

• Universal unification
  Published by Springer Nature ,2006
• The nested rectangular array as a model of data
  ACM SIGAPL APL Quote Quad, 1979
• Recursive data structures in APL
  Communications of the ACM, 1979
• Axioms and Theorems for a Theory of Arrays
  IBM Journal of Research and Development, 1973