1 option
Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin.
Math/Physics/Astronomy Library QA9.5 .H56 1986
Available
- Format:
- Book
- Author/Creator:
- Hindley, J. Roger.
- Series:
- London Mathematical Society student texts ; 1.
- London Mathematical Society student texts ; 1
- Language:
- English
- Subjects (All):
- Combinatory logic.
- Lambda calculus.
- Physical Description:
- 360 pages : illustrations ; 24 cm.
- Place of Publication:
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
- Notes:
- Includes index.
- Bibliography: pages 340-352.
- ISBN:
- 0521268966
- 0521318394
- OCLC:
- 12969510
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.