Categories, types, and structures : an introduction to category theory for the working computer scientist

Author(s)

• Asperti, Andrea
• Longo, Giuseppe

Bibliographic Information

Categories, types, and structures : an introduction to category theory for the working computer scientist

Andrea Asperti, Giuseppe Longo

（MIT Press series in the foundations of computing）

MIT Press, c1991

Note

Bibliographical references: p. [289]-299

Includes index

Details

• NCID: BA13010634
• ISBN:
  • 0262011255
• LCCN: 89049085
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: xi, 306 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.7
  • DC20 : 005.13
• Subject Headings:
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Categories (Mathematics)
• Parent Bibliography ID:
  • BA0001568X