De Bruijn's syntax and reductional behaviour of lambda-terms : the typed 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)	159-189
Journal	Journal of Logic and Algebraic Programming
Volume	62
Issue number	2
DOIs	https://doi.org/10.1016/j.jlap.2004.01.008
Publication status	Published - 2005

Access to Document

@article{b754bacbdc33484fb485fc1d7e9bd29d,

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

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

year = "2005",

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

language = "English",

volume = "62",

pages = "159--189",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

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

AU - Kamareddine, F.

AU - Bloo, C.J.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.jlap.2004.01.008

DO - 10.1016/j.jlap.2004.01.008

M3 - Article

SN - 1567-8326

VL - 62

SP - 159

EP - 189

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 2

ER -