@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",
note = "Typed Lambda Calculi and Applications ; Conference date: 02-05-2001 Through 05-05-2001",
}