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

著者

• Goguen, Joseph
• Meseguer, José
• Stanford University. Center for the Study of Language and 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

注記

"March 1987"

詳細情報

• NII書誌ID(NCID): BB26633218
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: 22 p.
• 大きさ: 28 cm
• 親書誌ID:
  • BA10949995