Computational adequacy of the FIX-logic

• Authors:

• Roy L. Crole

• Affiliations:

• Imperial College, London, UK

• Venue:
• MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
• Year:
• 1994