A note on subject reduction in (→, ∃)-Curry with respect to complete developments.

Aleksy Schubert Ken-etsu Fujita

Published in: Inf. Process. Lett. (2014)

Keyphrases

real time
artificial intelligence
data sets
computer vision
website
decision trees
database systems
data structure
cooperative
mobile devices
multiresolution