• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Introduction to combinators and ]lambda[-calculus

پدید آورنده
Hindley, J. Roger

موضوع
، Combinatory logic,، Lambda calculus

رده
QA
9
.
5
.
H56
1986

کتابخانه
Central Library of Sharif University of Technology

محل استقرار
استان: Tehran ـ شهر: Tehran

Central Library of Sharif University of Technology

تماس با کتابخانه : 66005817-021

OTHER STANDARD IDENTIFIER

Standard Number
103743

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
زمستا‌ن‌۳۷
.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

General Material Designation
)20(
First Statement of Responsibility
Hindley, J. Roger
Title Proper
Introduction to combinators and ]lambda[-calculus

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Cambridge ]Cambridgeshire[
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
1986

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
360 p. : ill. ; 24 cm

SERIES

Series Title
London Mathematical Society student texts, 1

GENERAL NOTES

Text of Note
Bibliography: p. 340-352
Text of Note
Includes index

TOPICAL NAME USED AS SUBJECT

Entry Element
، Combinatory logic
Entry Element
، Lambda calculus

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
5
.
H56
1986

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU
Entry Element
J. Roger Hindley, Jonathan P. Seldin

AU .P .J ,nidleS
TI
SE

LOCATION AND CALL NUMBER

Shelving Form of Title, Author, Author/Title
02

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