Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings

N.G. Bruijn, de

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
52 Downloads (Pure)
Original languageEnglish
Pages (from-to)348-356
JournalIndagationes Mathematicae (Proceedings)
Volume81
Issue number3
DOIs
Publication statusPublished - 1978

Cite this