De Bruijn's syntax and reductional equivalence of lambda terms

Fairouz Dib Kamareddine, R Bloo, R Nederpelt

Research output: Contribution to conferencePaper

Original languageEnglish
Pages16-27
Number of pages12
Publication statusPublished - 2001
EventInternational Conference on Principles and Practice of Declarative Programming -
Duration: 1 Jan 2001 → …

Conference

ConferenceInternational Conference on Principles and Practice of Declarative Programming
Abbreviated titlePPDP'01
Period1/01/01 → …

Cite this

Kamareddine, F. D., Bloo, R., & Nederpelt, R. (2001). De Bruijn's syntax and reductional equivalence of lambda terms. 16-27. Paper presented at International Conference on Principles and Practice of Declarative Programming, .