- Tytuł:
- On the enumeration of closures and environments with an application to random generation
- Autorzy:
-
Bendkowski, Maciej
Lescanne, Pierre - Data publikacji:
- 2019
- Słowa kluczowe:
-
mathematical analysis
functional programming
lambda-calculus
complexity
combinatorics - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Artykuł