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

Related

Explore

Canonical: https://axiom.tanaakk.com/theorem/iverson-turing-1979/