First-Order Reductions of Call-by-Name to Call-by-Value.

Willem P. de Roever

Published in: MFCS (1975)

Keyphrases

first order logic
higher order
data mining
efficient computation
case study
reinforcement learning
general logic programs
database
databases
machine learning
search engine
information systems
conditional logic
quantifier elimination
stochastic dominance