Normalization by Evaluation for the Computational Lambda-Calculus

Andrzej Filinski

doi:10.1007/3-540-45413-6_15

Normalization by Evaluation for the Computational Lambda-Calculus

Department of Computer Science

27 Citations (Scopus)

Original language	English
Title of host publication	Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001
Editors	Samson Abramsky
Publisher	Springer
Publication date	2001
Pages	151-165
ISBN (Print)	3-540-41960-8
DOIs	https://doi.org/10.1007/3-540-45413-6_15
Publication status	Published - 2001
Event	Typed Lambda Calculi and Applications - Krakow, Poland Duration: 2 May 2001 → 5 May 2001 Conference number: 5

Conference

Conference	Typed Lambda Calculi and Applications
Number	5
Country/Territory	Poland
City	Krakow
Period	02/05/2001 → 05/05/2001

Series	Lecture notes in computer science
Number	2044
ISSN	0302-9743

Access to Document

10.1007/3-540-45413-6_15

http://springerlink.com/content/dpx4hk7h2vca3f34/fulltext.pdf

Cite this

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

@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",

}

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

T2 - Typed Lambda Calculi and Applications

Y2 - 2 May 2001 through 5 May 2001

ER -