Monadic Presentations of Lambda Terms Using Generalized Inductive Types.

Thorsten Altenkirch Bernhard Reus

Published in: CSL (1999)

Keyphrases

database
machine learning
learning algorithm
data sets
neural network
genetic algorithm
expert systems