The lazy call-by-value λ-calculus

Lavinia Egidi; Furio Honsell; Simona Ronchi Della Rocca

doi:10.1007/3-540-54345-7_59

The lazy call-by-value λ-calculus

Lavinia Egidi
, Furio Honsell
, Simona Ronchi Della Rocca

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

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings
Editors	Andrzej Tarlecki
Publisher	Springer Verlag
Pages	161-169
Number of pages	9
ISBN (Print)	9783540543459
DOIs	https://doi.org/10.1007/3-540-54345-7_59
Publication status	Published - 1991
Externally published	Yes
Event	16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991 - Kazimierz Dolny, Poland Duration: 9 Sept 1991 → 13 Sept 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	520 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991
Country/Territory	Poland
City	Kazimierz Dolny
Period	9/09/91 → 13/09/91

Access to Document

10.1007/3-540-54345-7_59

Cite this

Egidi, L., Honsell, F., & Della Rocca, S. R. (1991). The lazy call-by-value λ-calculus. In A. Tarlecki (Ed.), Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings (pp. 161-169). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 520 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-54345-7_59

Egidi, Lavinia ; Honsell, Furio ; Della Rocca, Simona Ronchi. / The lazy call-by-value λ-calculus. Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings. editor / Andrzej Tarlecki. Springer Verlag, 1991. pp. 161-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0808025f397e4ed5ae3356612d8e2b02,

title = "The lazy call-by-value λ-calculus",

author = "Lavinia Egidi and Furio Honsell and \{Della Rocca\}, \{Simona Ronchi\}",

note = "Funding Information: 1 Work partially supported by MURST 40\% and Lambda Calcu[ Type{"}.; 16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991 ; Conference date: 09-09-1991 Through 13-09-1991",

year = "1991",

doi = "10.1007/3-540-54345-7\_59",

language = "English",

isbn = "9783540543459",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "161--169",

editor = "Andrzej Tarlecki",

booktitle = "Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings",

address = "Germany",

}

Egidi, L, Honsell, F & Della Rocca, SR 1991, The lazy call-by-value λ-calculus. in A Tarlecki (ed.), Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 520 LNCS, Springer Verlag, pp. 161-169, 16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991, Kazimierz Dolny, Poland, 9/09/91. https://doi.org/10.1007/3-540-54345-7_59

The lazy call-by-value λ-calculus. / Egidi, Lavinia; Honsell, Furio; Della Rocca, Simona Ronchi.
Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings. ed. / Andrzej Tarlecki. Springer Verlag, 1991. p. 161-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 520 LNCS).

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

TY - GEN

T1 - The lazy call-by-value λ-calculus

AU - Egidi, Lavinia

AU - Honsell, Furio

AU - Della Rocca, Simona Ronchi

N1 - Funding Information: 1 Work partially supported by MURST 40% and Lambda Calcu[ Type".

PY - 1991

Y1 - 1991

UR - https://www.scopus.com/pages/publications/84991826774

U2 - 10.1007/3-540-54345-7_59

DO - 10.1007/3-540-54345-7_59

M3 - Conference contribution

AN - SCOPUS:84991826774

SN - 9783540543459

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 161

EP - 169

BT - Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings

A2 - Tarlecki, Andrzej

PB - Springer Verlag

T2 - 16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991

Y2 - 9 September 1991 through 13 September 1991

ER -

Egidi L, Honsell F, Della Rocca SR. The lazy call-by-value λ-calculus. In Tarlecki A, editor, Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings. Springer Verlag. 1991. p. 161-169. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54345-7_59

The lazy call-by-value λ-calculus

Publication series

Conference

Access to Document

Other files and links

Cite this