Serge Yoccoz Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. [Citation Graph (0, 0)][DBLP] CONCUR, 1990, pp:521-536 [Conf]
Serge Yoccoz Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic. [Citation Graph (0, 0)][DBLP] MFCS, 1989, pp:553-565 [Conf]