Main Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2

Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2

Name: Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
Rating: 4.0 (4 reviews)

Barendregt H.P.;edited by Abramsky S., Gabbay D.M., Maibaum T.S.E.

4.0 / 5.0

0 comments

Download Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2 book for free from OceanOfPDF

Request Code : ZLIBIO4078102

Categories:

Year:

1992

Publisher:

OUP

Language:

English

Comments of this book

There are no comments yet.