Towards the average-case analysis of substitution resolution in λ-calculus

Tytuł rozdziału:
Towards the average-case analysis of substitution resolution in λ-calculus
Tytuł książki:
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Wydawnictwo:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Rok:
2019

Strony:
7:1--7:21

Tom (seria wydawnicza):
Leibniz International Proceedings in Informatics (LIPIcs)

Numer DOI:
10.4230/LIPIcs.FSCD.2019.7

Arkusze wydawnicze:
131

Link:
http://drops.dagstuhl.de/opus/volltexte/2019/10514/