Full abstraction and limiting completeness in equational languages

• Authors:

• Satish R. Thatte

• Affiliations:

• Univ. of Michigan, Ann Arbor

• Venue:
• Theoretical Computer Science
• Year:
• 1989