Full Abstraction and Limiting Completeness in Equational Languages

Satish R. Thatte. Full Abstraction and Limiting Completeness in Equational Languages. Theoretical Computer Science, 65(1):85-119, 1989.

Bibliographies