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

DOI10.4467/20842589RM.18.002.8835MaRDI QIDQ4627723

Łukasz Lachowski

Publication date: 11 March 2019

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

functional programminglambda calculuscomplexity analysiscombinatory logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic