Unary profile of lambda terms with restricted De Bruijn indices
Tytuł:
Unary profile of lambda terms with restricted De Bruijn indices
Czasopismo:
Rok:
2021
Strony:
19
Tom (seria wydawnicza):
22(3)
Link:
https://hal.archives-ouvertes.fr/hal-02313735v3
Access:
OTWARTY
Licencja:
Creative Commons - Uznanie Autorstwa (CC-BY)
Wersja tekstu:
Ostateczna wersja opublikowana
Sposób udostępinienia:
Otwarte czasopismo
Data udostępnienia publikacji:
W momencie opublikowania