De Bruijn's syntax and reductional equivalence of lambda-terms

F. Kamareddine; C.J. Bloo; R.P. Nederpelt

De Bruijn's syntax and reductional equivalence of lambda-terms

F. Kamareddine, C.J. Bloo, R.P. Nederpelt

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Cite this

@inproceedings{cd65dad55e7c4667a4951128c050ee80,

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

author = "F. Kamareddine and C.J. Bloo and R.P. Nederpelt",

year = "2001",

language = "English",

isbn = "1-58113-388-X",

pages = "16--27",

editor = "{Nicola, De}, R.",

booktitle = "Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001))",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

De Bruijn's syntax and reductional equivalence of lambda-terms. / Kamareddine, F.; Bloo, C.J.; Nederpelt, R.P.

Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001)). ed. / R. Nicola, De. Association for Computing Machinery, Inc, 2001. p. 16-27.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - De Bruijn's syntax and reductional equivalence of lambda-terms

AU - Kamareddine, F.

AU - Bloo, C.J.

AU - Nederpelt, R.P.

PY - 2001

Y1 - 2001

UR - http://doi.acm.org/10.1145/773184.773187

M3 - Conference contribution

SN - 1-58113-388-X

SP - 16

EP - 27

BT - Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001))

A2 - Nicola, De, R.

PB - Association for Computing Machinery, Inc

ER -