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

  • Department of Computer Science
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)66-164
Number of pages99
ISSN0302-9743
DOIs
Publication statusPublished - 2009
EventInternational School on Advanced Functional Programming, AFP 2008, - Heijen by Nijmegen, Netherlands
Duration: 19 May 200824 May 2008
Conference number: 6

Conference

ConferenceInternational School on Advanced Functional Programming, AFP 2008,
Number6
CountryNetherlands
CityHeijen by Nijmegen
Period19/05/200824/05/2008

See relations at Aarhus University Citationformats

ID: 19091935