• 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

Library of Institute for Research in Fundamental Sciences

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

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