Lambda Calculi: A Guide for Computer Scientists
Author:   Hankin
Publisher:   Oxford University Press
Volume:   3
ISBN:  

9780198538400


Pages:   176
Publication Date:   13 October 1994
Format:   Paperback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $105.95 Quantity:  
Add to Cart

Share |

Lambda Calculi: A Guide for Computer Scientists


Overview

Full Product Details

Author:   Hankin
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Volume:   3
Dimensions:   Width: 15.40cm , Height: 1.00cm , Length: 24.10cm
Weight:   0.282kg
ISBN:  

9780198538400


ISBN 10:   0198538405
Pages:   176
Publication Date:   13 October 1994
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

1. Introduction ; 2. Notation and basic theory ; 3. Reduction ; 4. Combinatory logic ; 5. Semantics ; 6. Computability ; 7. Types ; 8. Practical issues ; 9. Other calculi ; 10. Further reading ; Bibliography ; Index

Reviews

'For the serious student working in this field, Lambda Calculi contains a wealth of useful information which would take a long time to extract from other sources.' '.. a very good book and [] a timely addition to the theoretical computer scientist's bookshelf.' The Computer Journal


`For the serious student working in this field, Lambda Calculi contains a wealth of useful information which would take a long time to extract from other sources.' `.. a very good book and [] a timely addition to the theoretical computer scientist's bookshelf.' The Computer Journal


Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now