TY  - RPRT
TI  - A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams
AU  - Artjoms Sinkarovs
AU  - Sven-Bodo Scholz
PY  - 2017
UR  - https://arxiv.org/abs/1710.03832
ID  - 1710.03832
ER  -