A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams.

Artjoms Sinkarovs Sven-Bodo Scholz

Published in: CoRR (2017)

Keyphrases

lambda calculus
data streams
predicate calculus
databases
co occurrence
sliding window
database query languages