CPO's do not form a CPO, and yet Recursion Works

• Authors:

• Marek A. Bednarczyk;Andrzej M. Borzyszkowski

• Affiliations:

• -;-

• Venue:
• VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
• Year:
• 1991