Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)
Author(s)
Krivine, J. L.
Krivine, J. L.
Name in long format: | Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications) |
---|---|
ISBN-10: | 0130624071 |
ISBN-13: | 9780130624079 |
Book pages: | 192 |
Book language: | en |
Binding: | Hardcover |
Publisher: | Ellis Horwood Ltd |
Dimensions: | Height: 9.75 Inches, Length: 7.25 Inches, Weight: 0.96342008494 Pounds, Width: 0.75 Inches |