Logic and Computer Science

Front Cover
Piergiorgio Odifreddi
Academic Press, 1990 - Computers - 430 pages
0 Reviews
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The basic system
21
Recursive types
36
Intersection types
49
Copyright

25 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information