[Matryoshka-devel] Paper draft: Nested Multisets & Syntactic Ordinals
j.c.blanchette at vu.nl
Thu Apr 13 19:10:23 CEST 2017
To continue the tradition, here's my last contribution for the "winter/spring 2017" paper-writing season:
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
Jasmin Christian Blanchette, Mathias Fleury, and Dmitriy Traytel
From the timing and the use of the Dagstuhl style (and from the next parenthetic comment), you can probably guess for which conference it is (FSCD).
We'll be thankful for any feedback. The extended deadline is 17 April, which probably means 18 April noon-ish in Europe; but any feedback after that will also be taken into account, as usual.
In case you're still hesitating: We have some cool hydra battles in there, if you're into polycephalic monsters.
More information about the matryoshka-devel