![](/img/cover-not-exists.png)
Perpetual Reductions inλ-Calculus
Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei XiVolume:
149
Year:
1999
Language:
english
Pages:
53
DOI:
10.1006/inco.1998.2750
File:
PDF, 1.11 MB
english, 1999