• 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

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 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

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival