|
" Basic simple type theory / "
J. Roger Hindley.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
105709
|
| Doc. No
|
:
|
b63258
|
| Main Entry
|
:
|
Hindley, J. Roger.
|
| Title & Author
|
:
|
Basic simple type theory /\ J. Roger Hindley.
|
| Publication Statement
|
:
|
Cambridge, U.K. ;New York, NY, USA :: Cambridge University Press,, 1997.
|
| Series Statement
|
:
|
Cambridge tracts in theoretical computer science ;
|
| Page. NO
|
:
|
xi, 186 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
0521465184
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 169-176) and index.
|
| Subject
|
:
|
Programming languages (Electronic computers)
|
| Subject
|
:
|
Type theory.
|
| Dewey Classification
|
:
|
005.13
|
| LC Classification
|
:
|
QA76.7.H55 1997
|
| |