Towards a Unifying View on Monotone Constructive Definitions.

Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker

Browse the full ISAIM paper archive.