3 ms·I am explicitly mentioned that it is not about Lambda calculus.)by dschiptsov 13y agoI am explicitly mentioned that it is not about Lambda calculus.)