De Bruijn's syntax and reductional equivalence of lambda terms

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	16-27
Number of pages	12
Publication status	Published - 2001
Event	International Conference on Principles and Practice of Declarative Programming - Duration: 1 Jan 2001 → …

Conference	International Conference on Principles and Practice of Declarative Programming
Abbreviated title	PPDP'01
Period	1/01/01 → …

Cite this

@conference{2c50150ef7d34e6f8a005ab0e24d0d82,

title = "De Bruijn's syntax and reductional equivalence of lambda terms",

author = "Kamareddine, {Fairouz Dib} and R Bloo and R Nederpelt",

year = "2001",

language = "English",

pages = "16--27",

note = "International Conference on Principles and Practice of Declarative Programming, PPDP'01 ; Conference date: 01-01-2001",

}