Normalization by Evaluation for the Computational Lambda-Calculus

27 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001
Redaktører	Samson Abramsky
Forlag	Springer
Publikationsdato	2001
Sider	151-165
ISBN (Trykt)	3-540-41960-8
DOI	https://doi.org/10.1007/3-540-45413-6_15
Status	Udgivet - 2001
Begivenhed	Typed Lambda Calculi and Applications - Krakow, Polen Varighed: 2 maj 2001 → 5 maj 2001 Konferencens nummer: 5

Konference	Typed Lambda Calculi and Applications
Nummer	5
Land/Område	Polen
By	Krakow
Periode	02/05/2001 → 05/05/2001

Navn	Lecture notes in computer science
Nummer	2044
ISSN	0302-9743

Adgang til dokumentet

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 › 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 -