Indeksowane metadane

On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic