Standard
Normalization by Evaluation for the Computational Lambda-Calculus. / Filinski, Andrzej.
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. ed. / Samson Abramsky. Springer, 2001. p. 151-165 (Lecture notes in computer science; No. 2044).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Filinski, A 2001,
Normalization by Evaluation for the Computational Lambda-Calculus. in S Abramsky (ed.),
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Springer, Lecture notes in computer science, no. 2044, pp. 151-165, Typed Lambda Calculi and Applications, Krakow, Poland,
02/05/2001.
https://doi.org/10.1007/3-540-45413-6_15
APA
Filinski, A. (2001).
Normalization by Evaluation for the Computational Lambda-Calculus. In S. Abramsky (Ed.),
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 (pp. 151-165). Springer. Lecture notes in computer science No. 2044
https://doi.org/10.1007/3-540-45413-6_15
Vancouver
Filinski A.
Normalization by Evaluation for the Computational Lambda-Calculus. In Abramsky S, editor, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Springer. 2001. p. 151-165. (Lecture notes in computer science; No. 2044).
https://doi.org/10.1007/3-540-45413-6_15
Author
Filinski, Andrzej. / Normalization by Evaluation for the Computational Lambda-Calculus. Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. editor / Samson Abramsky. Springer, 2001. pp. 151-165 (Lecture notes in computer science; No. 2044).
Bibtex
@inproceedings{ce6b4970648111de8bc9000ea68e967b,
title = "Normalization by Evaluation for the Computational Lambda-Calculus",
author = "Andrzej Filinski",
year = "2001",
doi = "10.1007/3-540-45413-6_15",
language = "English",
isbn = "3-540-41960-8",
series = "Lecture notes in computer science",
publisher = "Springer",
number = "2044",
pages = "151--165",
editor = "Samson Abramsky",
booktitle = "Typed Lambda Calculi and Applications",
address = "Switzerland",
note = "null ; Conference date: 02-05-2001 Through 05-05-2001",
}
RIS
TY - GEN
T1 - Normalization by Evaluation for the Computational Lambda-Calculus
AU - Filinski, Andrzej
N1 - Conference code: 5
PY - 2001
Y1 - 2001
U2 - 10.1007/3-540-45413-6_15
DO - 10.1007/3-540-45413-6_15
M3 - Article in proceedings
SN - 3-540-41960-8
T3 - Lecture notes in computer science
SP - 151
EP - 165
BT - Typed Lambda Calculi and Applications
A2 - Abramsky, Samson
PB - Springer
Y2 - 2 May 2001 through 5 May 2001
ER -