Normalization and Partial Evaluation
Paper in proceeding, 2002
Author
Peter Dybjer
Chalmers, Department of Computing Science, Programming Logic
Andrzej Filinski
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 2395 p. 137-192978-3-540-44044-4 (ISBN)
Categorizing
Subject Categories (SSIF 2011)
Other Mathematics
Identifiers
DOI
10.1007/3-540-45699-6_4
ISBN
978-3-540-44044-4