Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
Combinatory reduction systems / J.W. Klop.
Author
Klop, J. W.
[Browse]
Format
Book
Language
English
Published/Created
Amsterdam : Mathematisch centrum, 1980.
Description
xiii, 317 pages : illustrations ; 24 cm.
Availability
Copies in the Library
Location
Call Number
Status
Location Service
Notes
Lewis Library - Stacks
QA9.5 .xK46
Browse related items
Request
Details
Subject(s)
Combinatory logic
[Browse]
Lambda calculus
[Browse]
Recursive programming
[Browse]
Library of Congress genre(s)
Academic theses
[Browse]
Series
Mathematical Centre tracts ; 127.
[More in this series]
Notes
Includes index.
Dissertation note
Ph. D. State University of Utrecht
Bibliographic references
Bibliography: p. 298-303.
ISBN
9061962005 ((pbk.))
9789061962007 ((pbk.))
LCCN
81172011
OCLC
7436902
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Combinatory reduction systems / J.W. Klop.
id
SCSB-5977176