Telescopic mappings in typed lambda calculus

N.G. Bruijn, de

Research output: Contribution to journalArticleAcademicpeer-review

45 Citations (Scopus)
197 Downloads (Pure)
Original languageEnglish
Pages (from-to)189-204
JournalInformation and Computation
Volume91
Issue number2
DOIs
Publication statusPublished - 1991

Cite this