1 paper · 1 filter
Bartek Klin, Michał Szynwelski
We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of…