Repozytorium Uniwersytetu Jagiellońskiego
On the complexity of the standard translation of lambda calculus into combinatory logic
On the complexity of the standard translation of ...
Opis pozycji
| tytuł: | On the complexity of the standard translation of lambda calculus into combinatory logic |
| autor: | Lachowski Łukasz 
|
| tytuł czasopisma: | Reports on Mathematical Logic |
| numer: | 53 |
| data wydania: | 2018 |
| strony: | 19-42 |
| ISSN: |
0137-2904 |
| eISSN: |
2084-2589 |
| DOI: | |
| język: | angielski |
| język czasopisma: | angielski |
| wydział:instytut/zakład/katedra: | Wydział Matematyki i Informatyki |
| typ: | artykuł w czasopiśmie |
| podtyp: | artykuł |
Pliki tej pozycji
| Plik | Rozmiar | Format | Przeglądanie |
|---|---|---|---|
|
Nie ma plików powiązanych z tą pozycją. |
|||