Login / Signup
Dynamic Control Operators in Type Theory.
Yukiyoshi Kameyama
Published in:
APLAS (2001)
Keyphrases
</>
control theory
theoretical framework
control system
dynamic environments
case study
computational model
control structures
real time
real world
search engine
fuzzy sets
theoretical basis
probability theory
dynamic characteristics