1 option
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems / Joseph A. Goguen and José Meseguer.
LIBRA QA76.9.A23 G63 1987
Available from offsite location
- Format:
- Book
- Author/Creator:
- Goguen, Joseph.
- Series:
- Report (Stanford University. Center for the Study of Language and Information) ; no. CSLI-87-92.
- Report / Center for the Study of Language and Information ; no. CSLI-87-92
- Language:
- English
- Subjects (All):
- Abstract data types (Computer science).
- Algebra.
- Physical Description:
- 22 pages ; 28 cm.
- Place of Publication:
- Stanford, Calif. : Center for the Study of Language and Information, [1987]
- Notes:
- "March 1987".
- "Supported in part by Office of Naval Research Contracts N00014-82-C-0333, N00014-85-C-0417, and N00014-86-C-0450, National Science Foundation Grant No. MCS8201380 and a gift from the System Development Foundation"--P. [1].
- Bibliography: pages 21-22.
- OCLC:
- 17215818
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.