Continuation Models are Universal for Lambda-Mu-Calculus.

Martin Hofmann Thomas Streicher

Published in: LICS (1997)

Keyphrases

artificial intelligence
model selection
experimental data
statistical models
database
information systems
bayesian networks
expert systems
d objects
statistical model
mathematical models
accurate models