Skip to main navigation Skip to search Skip to main content

Term rewriting with type-safe traversal functions

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002)
    DOIs
    Publication statusPublished - 2002

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume70(6)
    ISSN (Print)1571-0061

    Cite this