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

N.G. Bruijn, de

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

7 Citations (Scopus)

115 Downloads (Pure)

Original language	English
Pages (from-to)	348-356
Journal	Indagationes Mathematicae (Proceedings)
Volume	81
Issue number	3
DOIs	https://doi.org/10.1016/1385-7258(78)90052-5
Publication status	Published - 1978

Access to Document

@article{0513a7c792e641ddac584b006f039769,

title = "Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings",

author = "{Bruijn, de}, N.G.",

year = "1978",

doi = "10.1016/1385-7258(78)90052-5",

language = "English",

volume = "81",

pages = "348--356",

journal = "Indagationes Mathematicae (Proceedings)",

issn = "1385-7258",

number = "3",

}

TY - JOUR

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

AU - Bruijn, de, N.G.

PY - 1978

Y1 - 1978

U2 - 10.1016/1385-7258(78)90052-5

DO - 10.1016/1385-7258(78)90052-5

M3 - Article

SN - 1385-7258

VL - 81

SP - 348

EP - 356

JO - Indagationes Mathematicae (Proceedings)

JF - Indagationes Mathematicae (Proceedings)

IS - 3

ER -