2017,  Sinkarovs & Scholz, A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams
    https://www.researchgate.net/publicatio … nd_Streams

«we obtain a calculus that naturally extends existing array calculi and, at the same time,
allows for recursive specifications as they are found in stream- and list-based settings.
...
This makes it possible to treat the proposed calculus as a unifying theory of arrays, lists and streams.»

---

Чтобы ввести символ бесконечности в Linux с использованием Xorg-сервера, выполните следующие шаги:
- Нажмите и удерживайте клавиши Ctrl + Shift + U.
- Отпустите клавиши и введите код символа бесконечности: 221e.
- Нажмите клавишу Enter или пробел для вставки символа.
∞ = 221e
λ = 3bb
→= 2192

Отредактировано Лис (2024-08-14 01:47:43)