Type-Changing Rewriting and Semantics-Preserving Transformation

S. Leather, J.T. Jeuring, A. Löh, B. Schuur

    Research output: Book/ReportReportAcademic

    Original languageUndefined/Unknown
    PublisherDepartment of Information and Computing Sciences, Utrecht University
    VolumeUU-CS-2013-017
    Publication statusPublished - 2013

    Cite this