Original language | English |
---|---|
Pages (from-to) | 189-204 |
Journal | Information and Computation |
Volume | 91 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1991 |
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)