Login / Signup

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.

Fernando OrejasMarisa NavarroAna Sánchez
Published in: Math. Struct. Comput. Sci. (1996)
Keyphrases