Types in lambda calculi and programming languages

H.P. Barendregt; C. Hemerik

doi:10.1007/3-540-52592-0_53

Types in lambda calculi and programming languages

H.P. Barendregt, C. Hemerik

Software Engineering and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990)
Editors	N.D. Jones
Place of Publication	Berlin
Publisher	Springer
Pages	1-35
ISBN (Print)	3-540-52592-0
DOIs	https://doi.org/10.1007/3-540-52592-0_53
Publication status	Published - 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	432
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-52592-0_53

Cite this

@inproceedings{5fcff7ecbfce4b0a9a43c11661e1c0c8,

title = "Types in lambda calculi and programming languages",

author = "H.P. Barendregt and C. Hemerik",

year = "1990",

doi = "10.1007/3-540-52592-0_53",

language = "English",

isbn = "3-540-52592-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--35",

editor = "N.D. Jones",

booktitle = "Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990)",

address = "Germany",

}

Types in lambda calculi and programming languages. / Barendregt, H.P.; Hemerik, C.
Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990). ed. / N.D. Jones. Berlin: Springer, 1990. p. 1-35 (Lecture Notes in Computer Science; Vol. 432).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Types in lambda calculi and programming languages

AU - Barendregt, H.P.

AU - Hemerik, C.

PY - 1990

Y1 - 1990

U2 - 10.1007/3-540-52592-0_53

DO - 10.1007/3-540-52592-0_53

M3 - Conference contribution

SN - 3-540-52592-0

T3 - Lecture Notes in Computer Science

SP - 1

EP - 35

BT - Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990)

A2 - Jones, N.D.

PB - Springer

CY - Berlin

ER -