Original language | English |
---|---|
Pages (from-to) | 173-225 |
Journal | Information and Computation |
Volume | 149 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1999 |
Perpetual Reductions in Lambda Calculus.
F. van Raamsdonk, P. Severi, M.H. Sørensen, H. Xi
Research output: Contribution to Journal › Article › Academic › peer-review