Jagiellonian University Repository

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

pcg.skipToMenu

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

Bibliographic description

Files in this item

This item appears in the following Collection(s)

Udzielam licencji. Uznanie autorstwa 3.0 Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa 3.0