Proof — APL and array theory

Statement

APL; mathematical notation for programming. Proved in ZFC.

Source

ACM Turing Award 1979. APL; mathematical notation for programming. Proved in ZFC.

Domains

computer-science

People

• Kenneth E. Iverson

Related

• Theorem: APL and array theory
• Proof: APL and array theory

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People