Typed event structures and the linear pi-calculus.

Daniele Varacca Nobuko Yoshida

Published in: Theor. Comput. Sci. (2010)

Keyphrases

event detection
higher order
lambda calculus
linear model
real time
genetic algorithm
knowledge base
image sequences
closed form
formal language
algebraic structure