Chris Hankin

2 books

An Introduction to Lambda Calculi for Computer Scientists by Chris Hankin

An Introduction to Lambda Calculi for Computer Scientists

Chris Hankin

180 pages • first pub 1995 (editions)

nonfiction computer science mathematics informative medium-paced
Principles of Program Analysis by Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Principles of Program Analysis

Chris Hankin, Flemming Nielson, Hanne Riis Nielson

452 pages • first pub 1999 (editions)

nonfiction computer science informative slow-paced
More...