A namefree lambda calculus with facilities for internal definition of expressions and segments

Research output: Book/Report › Report › Academic

249 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
Publication status	Published - 1978

Name	EUT report. WSK, Dept. of Mathematics and Computing Science
Volume	78-WSK-03
ISSN (Print)	0167-9708

Access to Document

TY - BOOK

T1 - A namefree lambda calculus with facilities for internal definition of expressions and segments

AU - Bruijn, de, N.G.

PY - 1978

Y1 - 1978

M3 - Report

T3 - EUT report. WSK, Dept. of Mathematics and Computing Science

BT - A namefree lambda calculus with facilities for internal definition of expressions and segments

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -