Artykuły

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

Reports on Mathematical Logic, 2018, Number 53, s. 19-42
Data publikacji online: 6 września 2018
DOI 10.4467/20842589RM.18.002.8835