Nominal algebra and the HSP theorem

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

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationEdinburgh
    PublisherHeriot-Watt University
    Number of pages22
    Publication statusPublished - 2007

    Publication series

    NameTechnical Report
    VolumeHW-MACS-TR-0057

    Cite this