Normalization by Evaluation for the Computational Lambda-Calculus
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Normalization by Evaluation for the Computational Lambda-Calculus. / Filinski, Andrzej.
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. red. / Samson Abramsky. Springer, 2001. s. 151-165 (Lecture notes in computer science; Nr. 2044).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Filinski, A 2001, Normalization by Evaluation for the Computational Lambda-Calculus. i S Abramsky (red.), Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Springer, Lecture notes in computer science, nr. 2044, s. 151-165, Typed Lambda Calculi and Applications, Krakow, Polen, 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. I S. Abramsky (red.), Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 (s. 151-165). Springer. Lecture notes in computer science Nr. 2044 https://doi.org/10.1007/3-540-45413-6_15
Vancouver
Filinski A. Normalization by Evaluation for the Computational Lambda-Calculus. I Abramsky S, red., Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Springer. 2001. s. 151-165. (Lecture notes in computer science; Nr. 2044). https://doi.org/10.1007/3-540-45413-6_15
Author
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 -
ID: 12867464