diff --git a/biblio-web.bib b/biblio-web.bib index d1e0fb8..08f3030 100644 --- a/biblio-web.bib +++ b/biblio-web.bib @@ -37,7 +37,7 @@ Joshua Moerman}, title = {Partition}, note = {Source code}, - url = {https://gitlab.science.ru.nl/rick/partition/} + url = {https://github.com/Jaxan/partition} } @misc{ons-code, @@ -48,11 +48,18 @@ url = {https://github.com/davidv1992/ONS} } +@misc{ons-hs-code, + author = {Joshua Moerman}, + title = {ONS Haskell Library}, + note = {Source code}, + url = {https://github.com/Jaxan/ons-hs/} +} + @misc{hybrid-ads-code, author = {Joshua Moerman}, title = {Hybrid {ADS}}, note = {Source code}, - url = {https://gitlab.science.ru.nl/moerman/hybrid-ads} + url = {https://github.com/Jaxan/hybrid-ads} } @misc{lois-lstar-code, diff --git a/content-other/acknowledgements.tex b/content-other/acknowledgements.tex index 5828918..ee1494e 100644 --- a/content-other/acknowledgements.tex +++ b/content-other/acknowledgements.tex @@ -16,13 +16,14 @@ You introduced me to abstract reasoning about state machines, the coalgebraic wa Although not directly shown in this thesis, this way of thinking has helped and you pushed me to pursuit clear reasoning. Besides the theoretical things I've learned, you've also taught me many personal lessons inside and outside of academia. And thanks for leaving me with Daniela and Matteo, when you went on sabbatical. +They have introduced me to nominal techniques, which I found a lot of fun. Bas, thanks for broadening my understanding of the topics touched upon in this thesis. Unfortunately, we have no papers together, but the connections you showed to logic, computational learning, and computability theory have influenced the thesis nevertheless. I am grateful for the many nice chats we had. At the first floor of the Mercator building, I had the pleasure of spending four years with fun office mates. -Michele, thanks for introducing me to the PhD life, by always joking around. +Michele, thanks for introducing me to the Ph.D. life, by always joking around. Hopefully, we can play a game of Briscola again. Alexis, many thanks for all the tasty {\it\nl proeverijen,\en} wheter it was beers, wines, {\nl poffertjes, kroketten\en}, or anything else. Your French influences will be missed. @@ -31,16 +32,15 @@ Niels, thanks for the abstract nonsense and bashing on politics. Next to our office, was the office with Tim, with whom I had the pleasure of working from various coffee houses in Nijmegen. Further down the corridor, there was the office of Paul and Rick. Paul, thanks for being the kindest colleague I've had and for inviting us to your musical endeavours. -Rick, thanks for the algorithmic sparring. +Rick, thanks for the algorithmic sparring, we had a great collaboration. Was there a more iconic duo on our floor? A good contender would be Petra and Ramon. Thanks for the fun we had with ioco, together with Jan. +Nils, thanks for steering me towards probabilistic things and opening a door to Aachen. I am also very grateful for Jurriaan for bringing back some coalgebra and category theory to our floor, and hosting me in London. -Nils -Harco -David Venhoek -David N Jansen -Special thanks go to Ingrid, for helping with the tedious, but very important, administrative things. +My other co-authors, Wouter, David, Bartek, Micha\l{}, and David, also deserve many credits for all the interesting discussion we had. +Harco, thanks for the technical support. +Special thanks go to Ingrid, for helping with the often-overlooked, but very important, administrative matters. Doing a Ph.D. would not be complete without a good amount of playing kicker, having {\nl borrels\en}, and eating cakes at the iCIS institute. Thanks to all of you, Markus, Bram, Marc, Sam, Bas, Joost, Dan, Giso, Baris, Simone, Manxia, Leon, Jacopo, Gabriel, Paulus, Marcos, Bas, and Henning. diff --git a/content/ordered-nominal-sets.tex b/content/ordered-nominal-sets.tex index ea76616..26b2ee3 100644 --- a/content/ordered-nominal-sets.tex +++ b/content/ordered-nominal-sets.tex @@ -416,8 +416,9 @@ As a base case we can represent single orbits by their dimension. [title={Implementation and Complexity of ONS}, reference=sec:implementation-ons] -The ideas outlined above have been implemented in the \cpp{} library \ONS{} -\footnote{\ONS{} can be found at \citeurl[ons-code].} +The ideas outlined above have been implemented in a \cpp{} library, \ONS{}, and a \haskell{} library, \ONShs{}. +\footnote{\ONS{} can be found at \citeurl[ons-code] and \ONShs{} can be found at \citeurl[ons-hs-code].} +We focus here on the \cpp{} library only, as the \haskell{} one is very similar. The library can represent orbit-finite nominal sets and their products, (disjoint) unions, and maps. A full description of the possibilities is given in the documentation included with \ONS{}. @@ -433,7 +434,6 @@ These elements are constructed based on the description of the orbits stored, fi \starttyping nomset A = nomset_rationals(); nomset> B({rational(1),rational(2)}); - auto AtimesB = nomset_product(A, B); // compute the product for (auto orbit : AtimesB) cout << orbit.getElement() << " "; diff --git a/environment/notation.tex b/environment/notation.tex index 09a1857..e0c710d 100644 --- a/environment/notation.tex +++ b/environment/notation.tex @@ -39,6 +39,7 @@ % Libraries \define\ONS{{\sc Ons}} +\define\ONShs{{\sc Ons-hs}} \define\NLambda{{\sc Nλ}} \define\LOIS{{\sc Lois}}