Last edited by Yozshulabar
Saturday, April 25, 2020 | History

3 edition of Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems found in the catalog.

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

Joseph Goguen

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

  • 234 Want to read
  • 30 Currently reading

Published by CSLI/SRI International in Menlo Park, CA (333 Ravenwood Ave., Menlo Park 94025) .
Written in English

    Subjects:
  • Abstract data types (Computer science),
  • Albegra

  • Edition Notes

    StatementJoseph A. Goguen and José Meseguer.
    SeriesReport / Center for the Study of Language and Information ;, no. CSLI-87-92, Report (Center for the Study of Language and Information (U.S.)) ;, no. CSLI-87-92.
    ContributionsMeseguer, José.
    Classifications
    LC ClassificationsQA76.9.A23 G64 1987
    The Physical Object
    Pagination22 p. ;
    Number of Pages22
    ID Numbers
    Open LibraryOL2105175M
    LC Control Number88155952


Share this book
You might also like
Lord of the three worlds

Lord of the three worlds

Exploring the decolonial imaginary

Exploring the decolonial imaginary

Naked ladies naked ladies naked ladies

Naked ladies naked ladies naked ladies

Prophecy

Prophecy

Lingcod.

Lingcod.

A computer-based system for organizing earthquake-related data

A computer-based system for organizing earthquake-related data

Old Jacob Wagner of Davidson (Old Rowan) County and some of his descendants

Old Jacob Wagner of Davidson (Old Rowan) County and some of his descendants

Sylvia

Sylvia

Miscellaneous translations from Bion, Ovid, Moschus and Mr. Addison

Miscellaneous translations from Bion, Ovid, Moschus and Mr. Addison

art of lawn tennis

art of lawn tennis

Direct investment policies in developing countries

Direct investment policies in developing countries

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems by Joseph Goguen Download PDF EPUB FB2