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

Author(s)

• Goguen, Joseph
• Meseguer, José
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

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

Joseph A. Goguen and José Meseguer

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-87-92）

Center for the Study of Language and Information, 1987

Note

"March 1987"

Details

• NCID: BB26633218
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 22 p.
• Size: 28 cm
• Parent Bibliography ID:
  • BA10949995