Telescopic mappings in typed lambda calculus

N.G. Bruijn, de

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

45 Citations (Scopus)

197 Downloads (Pure)

Original language	English
Pages (from-to)	189-204
Journal	Information and Computation
Volume	91
Issue number	2
DOIs	https://doi.org/10.1016/0890-5401(91)90066-B
Publication status	Published - 1991

Access to 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",

}