Telescopic mappings in typed lambda calculus

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

46 Citaten (Scopus)

258 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	189-204
Tijdschrift	Information and Computation
Volume	91
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1016/0890-5401(91)90066-B
Status	Gepubliceerd - 1991

Toegang tot document

@article{1789e0f5902b41568ef6dbaf1c97c84a,

title = "Telescopic mappings in typed lambda calculus",

author = "\{Bruijn, de\}, N.G.",

year = "1991",

doi = "10.1016/0890-5401(91)90066-B",

language = "English",

volume = "91",

pages = "189--204",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "2",

}