Function spaces for orbit-finite sets

DOI10.4230/LIPICS.ICALP.2024.130MaRDI QIDQ6875052zbMATH OpenFDO

Authors Mikołaj Bojańczyk, Lê Thành Dũng Nguyên, Rafał Stefański

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

automatagame semanticslinear typesorbit-finite sets

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Function spaces for orbit-finite sets

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