The Lazy Evaluation of Infinitesimal Logic Expressions.

Ruchi Agarwal William W. Wadge

Published in: PLC (2005)

Keyphrases

lazy evaluation
functional programs
bayesian decision problems
sort merge
modal logic
logic programming
functional language
data structure