Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics.
Lê Thành Dung NguyênCamille NoûsPierre PradicPublished in: CoRR (2020)
Keyphrases
- finite automata
- finite state automata
- finite state machines
- probabilistic automata
- cellular automata
- higher order
- formal semantics
- sequent calculi
- logic programming
- conditional logic
- real time
- categorical data
- video streaming
- numerical data
- data streams
- regular expressions
- streaming data
- vague concepts
- qualitative spatial and temporal reasoning
- numerical values
- tree automata
- knowledge base