Partially Typed Terms between Church-Style and Curry-Style.

Ken-etsu Fujita Aleksy Schubert

Published in: IFIP TCS (2000)

Keyphrases

real time
higher order
databases
real world
information retrieval
computer vision
decision making
image processing
website
database systems
video sequences
evolutionary algorithm