Algebraic implementation of abstract data types: A survey of concepts and new compositionality results

  1. Orejas, F.
  2. Navarro, M.
  3. Sánchez, A.
Journal:
Mathematical Structures in Computer Science

ISSN: 0960-1295

Year of publication: 1996

Volume: 6

Issue: 1

Pages: 33-67

Type: Article

DOI: 10.1017/S0960129500000864 GOOGLE SCHOLAR
Data source: Scopus