| Original language | English |
|---|---|
| Title of host publication | Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001)) |
| Editors | R. Nicola, De |
| Publisher | Association for Computing Machinery, Inc |
| Pages | 16-27 |
| ISBN (Print) | 1-58113-388-X |
| Publication status | Published - 2001 |
De Bruijn's syntax and reductional equivalence of lambda-terms
F. Kamareddine, C.J. Bloo, R.P. Nederpelt
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3
Citations
(Scopus)