Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
de Joseph Goguen · Publicada por primera vez en 1987
Materias
Ediciones (1)
- Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems (1987)
CSLI/SRI International · inglés
