Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Categorical combinators, sequential algorithms, and functional programming
پدید آورنده
Curien, Pierre-Louis
موضوع
Formal languages
رده
QA
267
.
3
.
C87
1993
کتابخانه
Central Library of Amirkabir University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
CE H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Curien, Pierre-Louis
Title Proper
Categorical combinators, sequential algorithms, and functional programming
.PUBLICATION, DISTRIBUTION, ETC
2nd ed
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Birkhauser
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xx, 403 p. : ill
SERIES
Series Title
Progress in theoretical computer science
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 381-394( and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
Formal languages
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
267
.
3
Classification Record Number
.
C87
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Pierre-Louis Curien
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal