Axiomatizing the Least Fixed Point Operation and Binary Supremum.

Zoltn sik

Browse the full CSL paper archive.