Skip to content
Login
Help
New Search
My Library
My Library
My Account
Renewals
Suggest a Purchase
Library Staff
Course Reserves
Course Search
Instructor Search
Library Links
JournalFinder
Databases A-Z
Interlibrary Loan
Worldcat Discovery
(More Searches)
Advanced Keyword
Title
Author
Subject
Call Number
ISBN
OCLC
Author and Title
Reserves Instructor
Reserves Course
Your session will expire automatically in
0
seconds.
Continue session
End session now
Start Over
Add to Bag
MARC Display
Return to Browse
Another Search
SearchType
KEYWORD
AUTHOR
TITLE
SUBJECT
CALL NO
OCLC NO
Search
Limit search to available items
Result page:
Previous Record
Next Record
Permalink for this record
Title
Basic simple type theory / J. Roger Hindley.
Author
Hindley, J. Roger.
Published
Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997.
LOCATION
CALL #
STATUS
General Collection
QA76.7 .H55 1997
AVAILABLE
Description
xi, 186 pages : illustrations ; 24 cm.
Series
Cambridge tracts in theoretical computer science ; 42
Cambridge tracts in theoretical computer science ; 42.
Note
Includes bibliographical references (pages 169-176) and index.
Subject
Programming languages (Electronic computers)
Type theory.
Standard #
0521465184
Result page:
Previous Record
Next Record
Christopher Newport University | Paul and Rosemary Trible Library | Newport News, Virginia 23606
Innovative Interfaces, Inc.
