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

Original language	English
Pages (from-to)	173-225
Journal	Information and Computation
Volume	149
Issue number	2
DOIs	https://doi.org/10.1006/inco.1998.2750
Publication status	Published - 1999

Access to Document

@article{cdffe4a00817445da6c1e80d5dc8188c,

title = "Perpetual Reductions in Lambda Calculus.",

author = "{van Raamsdonk}, F. and P. Severi and M.H. S{\o}rensen and H. Xi",

year = "1999",

doi = "10.1006/inco.1998.2750",

language = "English",

volume = "149",

pages = "173--225",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

number = "2",

}