Perpetual Reductions in Lambda Calculus.

F. van Raamsdonk, P. Severi, M.H. Sørensen, H. Xi

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)173-225
JournalInformation and Computation
Volume149
Issue number2
DOIs
Publication statusPublished - 1999

Cite this