From Reduction-Based to Reduction-Free Normalization: Lecture notes including 70+ exercises

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Standard

From Reduction-Based to Reduction-Free Normalization : Lecture notes including 70+ exercises. / Danvy, Olivier.

In: Lecture Notes in Computer Science, 2009, p. 66-164.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Harvard

APA

CBE

MLA

Vancouver

Author

Bibtex

@inproceedings{0e857f8013e611dfb95d000ea68e967b,
title = "From Reduction-Based to Reduction-Free Normalization: Lecture notes including 70+ exercises",
author = "Olivier Danvy",
note = "Title of the vol.: Advanced Functional Programming / Pieter Koopman Rinus Plasmeijer Doaitse Swierstra (Eds.) ISBN: 3-642-04651-7; 978-3-642-04651-3 @inproceedings{dano09:AFP_2008, author = {Danvy, Olivier}, title = {From Reduction-Based to Reduction-Free Normalization}, booktitle = {Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures}, editor = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse}, year = 2009, volume = 5832, series = {Lecture Notes in Computer Science}, publisher = {Springer}, note = {ISBN-13 978-3-642-04651-3}, pages = {66-164} } Volumne: 5832; null ; Conference date: 19-05-2008 Through 24-05-2008",
year = "2009",
doi = "10.1007/978-3-642-04652-0_3",
language = "English",
pages = "66--164",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

RIS

TY - GEN

T1 - From Reduction-Based to Reduction-Free Normalization

AU - Danvy, Olivier

N1 - Conference code: 6

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04652-0_3

DO - 10.1007/978-3-642-04652-0_3

M3 - Conference article

SP - 66

EP - 164

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 19 May 2008 through 24 May 2008

ER -