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

F. Kamareddine, C.J. Bloo

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

2 Citaten (Scopus)

1 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	159-189
Tijdschrift	Journal of Logic and Algebraic Programming
Volume	62
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1016/j.jlap.2004.01.008
Status	Gepubliceerd - 2005

Toegang tot 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 -