Symmetric monoidal sketches

Martin Hyland, John Power

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

14 Citations (SciVal)

Original language	English
Title of host publication	Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	280-288
Number of pages	9
ISBN (Print)	1-58113-265-4
DOIs	https://doi.org/10.1145/351268.351299
Publication status	Published - 2000

Access to Document

@inbook{a980d8256fb94a4589a3d5f568934b54,

title = "Symmetric monoidal sketches",

author = "Martin Hyland and John Power",

year = "2000",

doi = "10.1145/351268.351299",

language = "English",

isbn = "1-58113-265-4",

pages = "280--288",

booktitle = "Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00",

publisher = "Association for Computing Machinery",

address = "USA United States",

}

TY - CHAP

T1 - Symmetric monoidal sketches

AU - Hyland, Martin

AU - Power, John

PY - 2000

Y1 - 2000

UR - http://dx.doi.org/10.1145/351268.351299

U2 - 10.1145/351268.351299

DO - 10.1145/351268.351299

M3 - Chapter or section

SN - 1-58113-265-4

SP - 280

EP - 288

BT - Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00

PB - Association for Computing Machinery

CY - New York

ER -