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