On Randomization of Reduction Strategies for Typeless Lambda Calculus.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Browse the full ICTERI paper archive.