- Tytuł:
- On the complexity of the standard translation of lambda calculus into combinatory logic
- Autorzy:
- Lachowski, Łukasz (matematyk). Autor
- Współwytwórcy:
- Zespół Katedr i Zakładów Informatyki Matematycznej (Uniwersytet Jagielloński) Instytucja sprawcza
- Data publikacji:
- 2018
- Tematy:
-
Rachunek kombinatorów
Programowanie funkcjonalne (informatyka)
Złożoność obliczeniowa
Rachunek lambda - Pokaż więcej
- Dostawca treści:
- Academica
Artykuł