Mr. Babbage's secret: the tale of a cypher-and APL
Mr. Babbage's secret: the tale of a cypher-and APL
The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Common LISP: the language
ACM SIGAPL APL Quote Quad
APL '90 Conference proceedings on APL 90: for the future
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
APL '82 Proceedings of the international conference on APL
Array theory in an APL environment
APL '79 Proceedings of the international conference on APL: part 1
A development system for testing array theory concepts
APL '81 Proceedings of the international conference on APL
Nested arrays, operators, and functions
APL '81 Proceedings of the international conference on APL
The Thirteen Books of Euclid's Elements, Books 1 and 2
The Thirteen Books of Euclid's Elements, Books 1 and 2
Hi-index | 0.00 |
Nesting and stemming (infinite successive singling) of arrays of nestings and stemmings result in forms. Forms of 0th-, 1st-, 2nd-, or 3rd-order, array-theoretic, totally defined functions are again such functions, called, respectively, figures, changes, rigs, and arms. One arms a rig before rigging a change before changing a figure. Part I lays the foundation for a new approach to a theory of arrays. This Part considers the analogy between array-theoretic and Euclidean figures, analyzes form separately from substance, introduces Nth-order functions, presents the beginnings of a syntax for the theory, and constructs a formal system to deduce the first few consequences of the first two primitive operations.