Combinatorics of explicit substitutions
Tytuł rozdziału:
Combinatorics of explicit substitutions
Tytuł książki:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Wydawnictwo:
Association for Computing Machinery (ACM)
Rok:
2018
Strony:
7:1-7:12
Tom (seria wydawnicza):
PPDP '18
Numer DOI:
10.1145/3236950.3236951
Link:
https://doi.org/10.1145/3236950.3236951