عنوان
پدید آورنده
موضوع
رده
QA 9.5 .H56I5
QA
9
.
5
.
H56I5
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
An introduction to combinators and )Lambda(-calculus
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridege University Press
Date of Publication, Distribution, etc.
1986
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]ii[, 360p
SERIES
Other Title Information
London Mathematical Society. Student texts; 1
GENERAL NOTES
Text of Note
Bibliography: p. 340-352
Text of Note
ISBN: 0521268966
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
J. Roger Hindley, Jonathand P. Seldin
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Combinatory logic
Entry Element
، Lambda calculus
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
5
.
H56I5
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Hindley, J. Roger
Relator Code
AU
AU Seldin, Jonathan Paul
TI
TI Combinators and the )Lambda( calculus
SE
