Jagiellonian University Repository
On the complexity of the standard translation of lambda calculus into combinatory logic
- DSpace Home
- →
- Bibliografia Publikacji Pracowników UJ
- →
- Publikacje naukowe
- →
- View Item
On the complexity of the standard translation of ...
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: | |
| language: | English |
| Journal language: | English |
| affiliation: | Wydział Matematyki i Informatyki |
| type: | journal article |
| subtype: | academic paper |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||