Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Categorical combinators, sequential algorithms, and functional programming
پدید آورنده
Pierre-Louis Curien
موضوع
، Formal languages
رده
QA
267
.
3
.
C87
1993
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Categorical combinators, sequential algorithms, and functional programming
First Statement of Responsibility
Pierre-Louis Curien
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Basel
Name of Publisher, Distributor, etc.
Birkhauser
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xx, 403p
SERIES
Other Title Information
Progress in theoretical computer science
GENERAL NOTES
Text of Note
Bibliography: p.381-394
Text of Note
ISBN: 3764336544
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Formal languages
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
267
.
3
.
C87
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Curien, Pierre-Louis
Relator Code
AU
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal