1 option
Lambda-calculus, types and models / J.L. Krivine.
Math/Physics/Astronomy Library QA9.5 .K7513 1993
Available
- Format:
- Book
- Author/Creator:
- Krivine, J. L. (Jean Louis)
- Series:
- Computers and their applications
- Ellis Horwood series in computers and their applications
- Standardized Title:
- Lambda-calcul, types et modèles. English
- Language:
- English
- French
- Subjects (All):
- Lambda calculus.
- Physical Description:
- viii, 180 pages ; 25 cm.
- Place of Publication:
- Paris : Masson ; New York : Ellis Horwood, 1993.
- Notes:
- Includes bibliographical references (pages [169]-172) and index.
- ISBN:
- 0130624071
- OCLC:
- 28294839
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.