De Bruijn's syntax and reductional behaviour of lambda-terms : the untyped case

F. Kamareddine, C.J. Bloo

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Scopus)

1 Downloads (Pure)

Original language	English
Pages (from-to)	109-131
Journal	Journal of Logic and Algebraic Programming
Volume	62
Issue number	1
DOIs	https://doi.org/10.1016/j.jlap.2004.01.001
Publication status	Published - 2005

Access to Document

@article{5b193f597e864ea68b0b1252b56f04d1,

title = "De Bruijn's syntax and reductional behaviour of lambda-terms : the untyped case",

author = "F. Kamareddine and C.J. Bloo",

year = "2005",

doi = "10.1016/j.jlap.2004.01.001",

language = "English",

volume = "62",

pages = "109--131",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - De Bruijn's syntax and reductional behaviour of lambda-terms : the untyped case

AU - Kamareddine, F.

AU - Bloo, C.J.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.jlap.2004.01.001

DO - 10.1016/j.jlap.2004.01.001

M3 - Article

SN - 1567-8326

VL - 62

SP - 109

EP - 131

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 1

ER -