Explaining the lazy Krivine machine using explicit substitution and addresses.

Frédéric Lang

Published in: High. Order Symb. Comput. (2007)

Keyphrases

computational complexity
batch processing
cell formation
e learning
machine learning
artificial intelligence
information systems
multi agent
cooperative
natural language
np hard