Lambda Calculus Synopsis

Anton Salikhmetov

Published in: CoRR (2013)

Keyphrases

lambda calculus
data streams
programming language
sliding window
predicate calculus
data structure
data distribution
program understanding
database query languages
higher order
complex objects
xml data
artificial intelligence
object oriented