Szynwelski, Michał
(2022-10-21)
This thesis describes a functional programming language Nλ that operates on infinite structures using sets with atoms. For relational structures satisfying certain condi tions, hereditarily orbit-finite sets with atoms ...