- Tytuł:
-
Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic - Autorzy:
- Grygiel, Katarzyna
- Współwytwórcy:
- Zaionc, Marek
- Data publikacji:
- 2013-05-23
- Słowa kluczowe:
-
combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Książka