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

Gabbay, M. J., & Mathijssen, A. H. J. (2007). Nominal algebra and the HSP theorem. (Technical Report; Vol. HW-MACS-TR-0057). Edinburgh: Heriot-Watt University.
Gabbay, M.J. ; Mathijssen, A.H.J. / Nominal algebra and the HSP theorem. Edinburgh : Heriot-Watt University, 2007. 22 p. (Technical Report).
@book{e31e6c9dc6df40d1b524ce6f69e99cc6,
title = "Nominal algebra and the HSP theorem",
author = "M.J. Gabbay and A.H.J. Mathijssen",
year = "2007",
language = "English",
series = "Technical Report",
publisher = "Heriot-Watt University",

}

Gabbay, MJ & Mathijssen, AHJ 2007, Nominal algebra and the HSP theorem. Technical Report, vol. HW-MACS-TR-0057, Heriot-Watt University, Edinburgh.

Nominal algebra and the HSP theorem. / Gabbay, M.J.; Mathijssen, A.H.J.

Edinburgh : Heriot-Watt University, 2007. 22 p. (Technical Report; Vol. HW-MACS-TR-0057).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Nominal algebra and the HSP theorem

AU - Gabbay, M.J.

AU - Mathijssen, A.H.J.

PY - 2007

Y1 - 2007

UR - http://www.macs.hw.ac.uk:8080/techreps/docs/files/HW-MACS-TR-0057.pdf

M3 - Report

T3 - Technical Report

BT - Nominal algebra and the HSP theorem

PB - Heriot-Watt University

CY - Edinburgh

ER -

Gabbay MJ, Mathijssen AHJ. Nominal algebra and the HSP theorem. Edinburgh: Heriot-Watt University, 2007. 22 p. (Technical Report).