Supported sets -- a new foundation for nominal sets and automata

DOI10.4230/LIPICS.CSL.2023.38MaRDI QIDQ6610643zbMATH OpenFDO

Authors Thorsten Wißmann

Publication date 25 September 2024

zbMATH Keywords

coalgebramonadsnominal setssupported setsLFP-category

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Supported sets -- a new foundation for nominal sets and automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610643)