From fb14b756c7729faede0e74b235acdcffbc245e0d Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 24 Nov 2023 17:23:06 +0100 Subject: [PATCH] add algebraic ornaments to bib --- quox.bib | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/quox.bib b/quox.bib index c2e172d..e8954ed 100644 --- a/quox.bib +++ b/quox.bib @@ -329,6 +329,13 @@ doi = {10.1109/LICS.2000.855774}, } +@misc{ornaments, + author = {Conor {McBride}}, + title = {Ornamental Algebras, Algebraic Ornaments}, + year = {2011}, + url = {https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAAO/LitOrn.pdf}, +} + % Misc implementation