Jak cytować publikację

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

Format cytowania:
LACHOWSKI, Łukasz. On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. Reports on Mathematical Logic, 2018, Number 53, p. 19-42, wrz. 2018. ISSN 2084-2589. Available at: <http://www.ejournals.eu/rml/2018/Number-53/art/12285/>. Date accessed: 06 wrz. 2018 doi:http://dx.doi.org/10.4467/20842589RM.18.002.8835.