Codifying Guarded Definitions with Recursive Schemes.

Eduardo Giménez

Published in: TYPES (1994)

Keyphrases

neural network
fixed point
recursive functions
real world
artificial intelligence
real time
computer vision
image processing
multiresolution
inference rules