Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel. Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals. Archive of Formal Proofs, 2016, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.