Infinitary Lambda Calculi and Böhm Models.

Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries

Published in: RTA (1995)

Keyphrases

complex systems
data mining
fixed point
data sets
website
decision trees
expert systems
model selection
constraint satisfaction problems