Research Catalog

Introduction to combinators and [lambda]-calculus

Title
Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin.
Author
Hindley, J. Roger.
Publication
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9.5 .H56 1986Off-site

Details

Additional Authors
Seldin, J. P.
Description
360 p.; 23 cm.
Series Statement
London Mathematical Society student texts ; 1
Uniform Title
London Mathematical Society student texts ; 1.
Subject
  • Combinatory logic
  • Lambda calculus
  • Combinatory logic
  • Lambda calculus
  • Lambda-Kalkül
  • Kombinatorische Logik
  • Logique combinatoire
  • Calcul Lambda
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 340-352.
ISBN
  • 0521268966
  • 9780521268967
  • 0521318394
  • 9780521318396
LCCN
85029908
OCLC
  • ocm12969510
  • 12969510
  • SCSB-639323
Owning Institutions
Princeton University Library