Recursive Function Definition over Coinductive Types.

Published in: TPHOLs (1999)

Keyphrases

wide range
neural network
artificial intelligence
information systems
image processing
cooperative
search space