Normalization and Partial Evaluation

26 Citations (Scopus)

Original language	English
Title of host publication	Applied Semantics : Advanced Lectures
Place of Publication	Berlin
Publisher	Springer
Publication date	2002
Pages	137-192
ISBN (Print)	3-540-44044-5
DOIs	https://doi.org/10.1007/3-540-45699-6_4
Publication status	Published - 2002

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

Access to Document

@inbook{5da387f074c111dbbee902004c4f4f50,

title = "Normalization and Partial Evaluation",

author = "Peter Dybjer and Andrzej Filinski",

year = "2002",

doi = "10.1007/3-540-45699-6_4",

language = "English",

isbn = "3-540-44044-5",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "2395",

pages = "137--192",

booktitle = "Applied Semantics",

}