Originele taal-2 | Engels |
---|---|
Titel | Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001)) |
Redacteuren | R. Nicola, De |
Uitgeverij | Association for Computing Machinery, Inc |
Pagina's | 16-27 |
ISBN van geprinte versie | 1-58113-388-X |
Status | Gepubliceerd - 2001 |
De Bruijn's syntax and reductional equivalence of lambda-terms
F. Kamareddine, C.J. Bloo, R.P. Nederpelt
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3
Citaten
(Scopus)