Full abstraction and recursion

• Authors:

• Michael W. Mislove;Frank J. Oles

• Affiliations:

• -;-

• Venue:
• Selected papers of the workshop on Topology and completion in semantics
• Year:
• 1995