Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control.

Étienne Miquey Hugo Herbelin

Published in: CoRR (2018)

Keyphrases

control system
high level
fuzzy logic
higher order
artificial intelligence
adaptive control
preprocessing
data acquisition
control strategy
control strategies
control problems