- Tytuł:
-
Quantitative aspects and generation of random lambda and combinatory logic terms
Ilościowe aspekty oraz generowanie losowych termów rachunku lambda oraz termów rachunku kombinatorów - Autorzy:
- Bendkowski, Maciej
- Współwytwórcy:
- Zaionc, Marek
- Data publikacji:
- 2017-11-27
- Słowa kluczowe:
-
rachunek kombinatorów
combinatorics
combinatory logic
analytic combinatorics
kombinatoryka analityczna
lambda calculus
kombinatoryka
rachunek lambda - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Książka