@techreport{aufsatz59207,
    affiliation = {Grundlagen der Programmierung},
    title = {A Formalization of Hylomorphism Based Deforestation with an Application to an Extended Typed λ-Calculus},
    journal = {TUD-FI00-13},
    keywords = {-},
    issn = {1430-211X},
    year = {2000},
    peerreview = {Nein},
    openaccess = {Ja},
    institution = {TU Dresden, Fakultät Informatik},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/technical_reports/tud00-13.ps.gz},
    author = {Jürgensen, Claus}
}