Login / Signup
Typing streams in the Λµ-calculus.
Alexis Saurin
Published in:
ACM Trans. Comput. Log. (2010)
Keyphrases
</>
data streams
real time
automated theorem proving
sliding window
continuous queries
transactional data
stream mining
multi stream
computer algebra
database
query processing
text mining
formal language
text entry
automated deduction
eye typing