Primitive Recursion with Extential Types.

Published in: Fundam. Informaticae (1993)

Keyphrases

complex objects
real time
artificial neural networks
databases
information systems
case study
high level
similarity measure
objective function
natural language
evolutionary algorithm