Image from Amazon.com
Image from Google Jackets
The Parametric Lambda Calculus : a Meta-Model for Computation Simona Ronchi Della Rocca, Luca Paolini.
Material type:
TextSeries: Texts in theoretical computer sciencePublication details: Berlin ; Springer-Verlag, 2004.Description: xiii, 252 p. : ill. ; 23 cmISBN: - 3540200320 (hb)
- 9783540200321
- 511.35 ROC-PAO
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks | 511.35 ROC-PAO (Browse shelf(Opens below)) | Available | 174927 |
Browsing Goa University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.322 KAK/Set Set Theory: Read it, Absorb it and Forget it | 511.322 KOM-TOT Problems and theorems in classical set theory | 511.3223 MUK-HAL Fuzzy Set and Fuzzy Topology | 511.35 ROC-PAO The Parametric Lambda Calculus : a Meta-Model for Computation | 511.42 BOO/Pra A practical guide to splines : | 511.42 MAS-MIL Interpolation Processes Basic Theory and Applications | 511.43 BER/Stu A student's guide to data and error analysis |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.