| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 30th International Conference on Rewriting Techniques and Applications |
| Publication date | 2005 |
| Edition | 3467 |
| Pages | 438-452 |
| Publication status | Published - 2005 |
Infinitary Combinatory Reduction Systems
Jeroen Ketema, Jakob Grue Simonsen