1 option
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien.
LIBRA QA9.5 .A43 1998
Available from offsite location
- Format:
- Book
- Author/Creator:
- Amadio, Roberto M.
- Series:
- Cambridge tracts in theoretical computer science ; 46.
- Cambridge tracts in theoretical computer science ; 46
- Language:
- English
- Subjects (All):
- Lambda calculus.
- Programming languages (Electronic computers)--Semantics.
- Programming languages (Electronic computers).
- Physical Description:
- xvi, 484 pages ; 24 cm.
- Place of Publication:
- Cambridge, U.K. ; New York : Cambridge University Press, 1998.
- Notes:
- Includes bibliographical references (pages [469]-479) and index.
- ISBN:
- 0521622778
- OCLC:
- 39894178
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.