Generalizing Automath by means of a lambda-typed lambda calculus

N.G. Bruijn, de

Generalizing Automath by means of a lambda-typed lambda calculus

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

172 Downloads (Pure)

Original language	English
Title of host publication	Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
Place of Publication	New York
Publisher	Marcel Dekker Inc.
Pages	71-92
ISBN (Print)	0-8247-7746-8
Publication status	Published - 1987

Publication series

Name	Lecture notes in pure and applied mathematics
Volume	106

Access to Document

597608Final published version, 1.71 MB

Cite this

@inbook{1e8d81e579a846ccb5caca250b2c984c,

title = "Generalizing Automath by means of a lambda-typed lambda calculus",

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

year = "1987",

language = "English",

isbn = "0-8247-7746-8",

series = "Lecture notes in pure and applied mathematics",

publisher = "Marcel Dekker Inc.",

pages = "71--92",

booktitle = "Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith",

address = "United States",

}

Generalizing Automath by means of a lambda-typed lambda calculus. / Bruijn, de, N.G.
Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. New York: Marcel Dekker Inc., 1987. p. 71-92 (Lecture notes in pure and applied mathematics; Vol. 106).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

TY - CHAP

T1 - Generalizing Automath by means of a lambda-typed lambda calculus

AU - Bruijn, de, N.G.

PY - 1987

Y1 - 1987

M3 - Chapter

SN - 0-8247-7746-8

T3 - Lecture notes in pure and applied mathematics

SP - 71

EP - 92

BT - Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith

PB - Marcel Dekker Inc.

CY - New York

ER -