On Randomised Strategies in the λ-Calculus (Long Version).

Ugo Dal Lago Gabriele Vanoni

Published in: CoRR (2018)

Keyphrases

search algorithm
optimal strategy
real time
real world
hidden markov models
automated deduction