3 ms·The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms6 points by LightMachine 9y ago