A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings

N.G. Bruijn, de

Research output: Book/ReportReportPopular

31 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages10
Publication statusPublished - 1977

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7710

Cite this

Bruijn, de, N. G. (1977). A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 7710). Eindhoven: Technische Hogeschool Eindhoven.
Bruijn, de, N.G. / A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings. Eindhoven : Technische Hogeschool Eindhoven, 1977. 10 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum).
@book{dbee6a7bca2c4e23b14e464b376464e6,
title = "A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings",
author = "{Bruijn, de}, N.G.",
year = "1977",
language = "English",
series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",
publisher = "Technische Hogeschool Eindhoven",

}

Bruijn, de, NG 1977, A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings. Eindhoven University of Technology : Dept of Mathematics : memorandum, vol. 7710, Technische Hogeschool Eindhoven, Eindhoven.

A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings. / Bruijn, de, N.G.

Eindhoven : Technische Hogeschool Eindhoven, 1977. 10 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 7710).

Research output: Book/ReportReportPopular

TY - BOOK

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

AU - Bruijn, de, N.G.

PY - 1977

Y1 - 1977

M3 - Report

T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

BT - A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -

Bruijn, de NG. A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings. Eindhoven: Technische Hogeschool Eindhoven, 1977. 10 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum).