Capture-avoiding substitution as a nominal algebra

M.J. Gabbay, A.H.J. Mathijssen

    Research output: Book/ReportReportAcademic

    98 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEdinburgh
    PublisherHeriot-Watt University
    Number of pages52
    Publication statusPublished - 2007

    Publication series

    NameTechnical Report
    VolumeHW-MACS-TR-0053

    Cite this