عنوان
پدید آورنده
موضوع
رده
QA 76.7 .H55 1996
QA
76
.
7
.
H55
1996
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Hindley,J.Roger
Title Proper
Basic simple type theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
united kingdom
Name of Publisher, Distributor, etc.
Cambridge university press
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
p.cm.
SERIES
Series Title
cambridge tracts in theoretical computer science
GENERAL NOTES
Text of Note
includes bibliographical reference
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
J.Roger Hindley
TOPICAL NAME USED AS SUBJECT
Entry Element
، programing languages)electronic computers(
Entry Element
، type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
7
.
H55
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
SE
