1 paper · 2 filters
Domenico Cantone, Pietro Ursino
We introduce the Dichotomy Property, a new property of some languages in Set Computable Theory, in order to explore the expressivity of some languages which are extensions of MLS.…