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 proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001))
EditorsR. Nicola, De
PublisherAssociation for Computing Machinery, Inc
Pages16-27
ISBN (Print)1-58113-388-X
Publication statusPublished - 2001

Cite this