Control categories and duality: on the categorical semantics of the lambda-mu calculus.

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases

control system
linear programming
optimal control
database query languages
neural network
semantic information
control method
formal semantics
lambda calculus
object recognition
fuzzy logic
control strategy
logical framework
formal language
numerical values
algebraic structure