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

Tytuł rozdziału:

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/