Infinitary Combinatory Reduction Systems
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
| 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 |
ID: 14596