On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
Tytuł:
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
Czasopismo:
Rok:
2018
Strony:
19-42
Tom (seria wydawnicza):
53
Numer DOI:
10.4467/20842589RM.18.002.8835
Link:
http://www.ejournals.eu/rml/2018/Number-53/art/12285/
Access:
OTWARTY
Licencja:
Inna
Wersja tekstu:
Ostateczna wersja opublikowana
Sposób udostępinienia:
Inne
Data udostępnienia publikacji:
W momencie opublikowania