Jagiellonian University Repository
On the complexity of the standard translation of lambda calculus into combinatory logic
Communities & Collections
pcg.skipToMenu
Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0 Międzynarodowa
On the complexity of the standard translation of lambda calculus into combinatory logic
Bibliographic description
| title: | On the complexity of the standard translation of lambda calculus into combinatory logic |
| author: | Lachowski Łukasz 
|
| journal title: | Reports on Mathematical Logic |
| issue: | 53 |
| date of publication : | 2018 |
| pages: | 19-42 |
| ISSN: |
0137-2904 |
| eISSN: |
2084-2589 |
| DOI: | |
| URL: | |
| date accessed: |
2020-07-31 |
| language: | English |
| journal language: | English |
| affiliation: | Wydział Matematyki i Informatyki |
| type: | journal article |
| subtype: | academic paper |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0 Międzynarodowa
Projekt „Repozytorium otwartego dostępu do dorobku naukowego i dydaktycznego UJ” współfinansowany w ramach poddziałania 2.3.1 „Cyfrowe udostępnianie zasobów nauki” Programu Operacyjnego Polska Cyfrowa z Europejskiego Funduszu Rozwoju Regionalnego i budżetu państwa na podstawie umowy o dofinansowanie nr POPC.02.03.01-00-0030/17-00
