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)