Big trees in a λ-calculus with λ-expressions as types

R.C. de Vrijer

doi:10.1007/BFb0029530

Big trees in a λ-calculus with λ-expressions as types

R.C. de Vrijer

Mathematics and Computer Science

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

2 Citations (Scopus)

Original language	English
Title of host publication	Lambda-Calculus and Computer Science Theory (Proceedings of the symposium, Rome, Italy, March 25-27, 1975)
Editors	C. Boehm
Place of Publication	Berlin
Publisher	Springer
Pages	252-271
Number of pages	20
ISBN (Print)	3-540-07416-3
DOIs	https://doi.org/10.1007/BFb0029530
Publication status	Published - 1975

Publication series

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

Access to Document

10.1007/BFb0029530

Cite this

@inproceedings{c0016786bb9644c4977d0c6c28cacc5a,

title = "Big trees in a λ-calculus with λ-expressions as types",

author = "\{de Vrijer\}, R.C.",

year = "1975",

doi = "10.1007/BFb0029530",

language = "English",

isbn = "3-540-07416-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "252--271",

editor = "C. Boehm",

booktitle = "Lambda-Calculus and Computer Science Theory (Proceedings of the symposium, Rome, Italy, March 25-27, 1975)",

address = "Germany",

}

Big trees in a λ-calculus with λ-expressions as types. / de Vrijer, R.C.
Lambda-Calculus and Computer Science Theory (Proceedings of the symposium, Rome, Italy, March 25-27, 1975). ed. / C. Boehm. Berlin: Springer, 1975. p. 252-271 (Lecture Notes in Computer Science; Vol. 37).

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

TY - GEN

T1 - Big trees in a λ-calculus with λ-expressions as types

AU - de Vrijer, R.C.

PY - 1975

Y1 - 1975

U2 - 10.1007/BFb0029530

DO - 10.1007/BFb0029530

M3 - Conference contribution

SN - 3-540-07416-3

T3 - Lecture Notes in Computer Science

SP - 252

EP - 271

BT - Lambda-Calculus and Computer Science Theory (Proceedings of the symposium, Rome, Italy, March 25-27, 1975)

A2 - Boehm, C.

PB - Springer

CY - Berlin

ER -