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