Telescopic mappings in typed lambda calculus (1991)
by
N. G. De Bruijn
| Venue: | Information and Computation |
| Citations: | 12 - 0 self |
BibTeX
@ARTICLE{Bruijn91telescopicmappings,
author = {N. G. De Bruijn},
title = {Telescopic mappings in typed lambda calculus},
journal = {Information and Computation},
year = {1991},
volume = {91},
pages = {189--204}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper develops notation for strings of abstracters in typed lambda calculus, and shows how to treat them more or less as single abstracters. 0 1991 Academic Press. Inc. 1.
