- Tytuł:
- On the complexity of the standard translation of lambda calculus into combinatory logic
- Autorzy:
- Lachowski, Łukasz
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Tematy:
-
combinatory logic
lambda calculus
complexity analysis
functional programming - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł