Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Categories, types, and structures : an introduction to category theory for the working computer scientist
پدید آورنده
Andrea Asperti, Giuseppe Longo
موضوع
، Programming languages )Electronic computers(,، Categories )Mathematics(
رده
QA
76
.
7
.
A76
1991
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Categories, types, and structures : an introduction to category theory for the working computer scientist
First Statement of Responsibility
Andrea Asperti, Giuseppe Longo
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge, Mass
Name of Publisher, Distributor, etc.
MIT Press
Date of Publication, Distribution, etc.
1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 306p.: ill
SERIES
Other Title Information
Foundations of computing
GENERAL NOTES
Text of Note
Bibliography: p.]289[-299
Text of Note
ISBN: 0262011255
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Programming languages )Electronic computers(
Entry Element
، Categories )Mathematics(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
7
.
A76
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Asperti, Andrea
Relator Code
AU
AU Longo, Giuseppe
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal